documentation and travis-ci upgrade