Build #13:   Fix links to travis-ci.com on branch develop almost 5 years ago