Improvements to documentation and fixes executables

Note that the travis file fails on GHC 7.8 due to a dependency of the cgi executable.