Version bump to 0.8.0.0
Switch to newest `cmdargs` and `mtl`.

This makes scyther-proof compile on GHC 7.6.x.