Another go at Travis and Circleci configurations