Adopt Travis-CI configuration to repository moving