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 #314 from DanielG/dev

Make GhcModT's MonadState instance pass through and other release-prep
fix #295.
Merge pull request #316 from serras/master

Integrate case splitting and code generation in `M-t`
Add failing test for `check` using ghc-options from cabal
Reset DynFlags properly in `withCmdFlags` teardown
Fix error presentation
Rename `ghcOpts` -> `ghcUserOptions`
Add missing signature
In `check`, apply ghcUserOptions after setting -Wall