Include TravisCI badge in docs