Add badges (and trigger travis ci build)