Fixing the badge for travis-ci.org