Add TravisCI badge to docs