Add the Travis-CI badge to the readme