Remove GhcWithRegisterised since it isn't used.  It might be
re-instated later if/when we decide on the right way to implement it.