Remove directories that are no longer generated from the gitignore
Remove directories that are no longer generated from the gitignore

wolftune/hoogle,wolftune/hoogle,ndmitchell/hoogle,wolftune/hoogle,wolftune/hoogle,ndmitchell/hoogle,ndmitchell/hoogle