Move externals out of HERMIT/Shell/Proof.hs