Work practices and challenges in continuous integration: A survey with Travis CI users. (11th September 2018)