Fix broken travis-ci badge