Fixed Travis CI integration and changed the name of the main documentation page to the name of the repository