Update post 2013-07-05-using-travis-ci-for-racket-projects.md