Add GitHub badge for travis-ci