Pointer to installing HERMIT on GHC HEAD in syb-opt readme