Merge pull request #317 from DanielG/dev

Workaround for #273 + more release-prep
removing warnings.
removing |||> (#292)
workaround for #318
removing trailing white spaces.
removing trailing white spaces.
hlint suggestions.
using <$>
-v option for ghc-mod (#304)
Set Opt_DeferTypeErrors to rescure type errors. (#310)

Type errors are turned to warnings. We force to turn them to the errors again.
one more type error to be rescued.
Do not use dropdown-list for automatic completion
Case splitting in M-t and initial-code in C-u M-t
Fix merge conflict, dropdown-list no longer needed
Merge remote-tracking branch 'kazu/master'

Conflicts:
	elisp/ghc-rewrite.el
Make better check in presence of typed holes
Merge pull request #320 from serras/master

Do not use dropdown-list + change keybindings + improve checking with typed holes
Keep all errors and warnings for code
Remove redundant typed hole warnings
Merge pull request #321 from serras/master

Obtain all warnings even in presence of typed holes