Documentation: add setup instructions for Travis CI