Fix warning that 'hugs-options' isn't supported any more
Removes this warning:
rts-1.0: Warning: .:468:1: The field "hugs-options" is deprecated. hugs isn't supported anymoreDue to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
Removes this warning:
rts-1.0: Warning: .:468:1: The field "hugs-options" is deprecated. hugs isn't supported anymore