update versions/hashes for cvc4-devel and cvc4-kind-devel ports