putting back the correct travis-ci connection settings, doc updates