Typecheck Hack projects on push

And reject the push if typechecking fails. In the future we may want to also
look for a Hack project entirely missing an .hhconfig file, but this will do
for now.