Add HIF as a submodule.