Change travis-ci badges to svg.