Revert commit because hdevtools sucks compared to ghc-mod.

This reverts commit 8e90ea79922321c9631e9ac3787f6fb3ceeb14ac.