Update SMT{LIB, COMP} and CASC links#7

sankalpgambhir wants to merge 1 commit intovprover:mastervprover/vprover.github.io:masterfrom

sankalpgambhir:casc-link-fixsankalpgambhir/vprover.github.io:casc-link-fixCopy head branch name to clipboard