Move Travis-CI badge up
Add Sourcegraph link