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