Fixed the link of the Travis-CI badge