Fix github URL to be to HOL-Theorem-Prover/HOL