Update docs for $TRAVIS_PULL_REQUEST

Fix #263.