Use rst version of travis-ci badge