configure Travis-CI.