Convert travis-ci badge code to gfm