Update the travis-ci badge

A tiny change!