changed travis-ci URL for rwth-acis account