Remove superfluous travis-ci badge