Use svg version of travis build status badge

Just a gh-pages version of the PR in #2185