simplify setup of common mode hook. Remove files which just setup the hook.
Add hook to idris. Clean up thrift.
remove achievements