Adding a TravisCI badge to the README