Readded travis-ci badge