Document travis_check.sh a bit