-v option for ghc-mod (#304)