Bring HERMIT up-to-date with latest GHC HEAD