Add gratuitous travis-ci badge