Add Sourcegraph links and badges
Add Travis-CI support