Nicer pings for myself
Remove all old code

Now constraints are always taken from a config file, meaning that
executables do not need to be recompiled for every settings change.
Add missing mtl upper bound
Slightly nicer check plan output
Skip lifted-base tests #368
Slightly improved formatting
Cleanup in prep of release to Hackage
More cleanup
Add missing github-users in serialization
Slightly easier to digest test output
Move old ROADMAP into README