include links to Travis-ci in documentation