Make M-t run also code generation and case splitting
Fixes #308
Make completion from Djinn use a dropdown list
Fixes #312
Merge pull request #316 from serras/master

Integrate case splitting and code generation in `M-t`