Fixing travis-ci badge after repo move
Merge pull request #2728 from philfreo/patch-1

Fixing travis-ci badge after repo move