Added ghc-modi

Newest ghc-mod ships with a new executable called "ghc-modi" as well as the standard one.

Ti patch allows hub to hook into it correctly.

@cdornan I have bumped the hub version both in the manifest and in Version.hs, please shout if this is not ideal.

Alfredo