Travis reports

Make travis create proper code coverage reports and host documentation on GitHub pages.