Support other CI services, at least those running Linux

[luismbo]

E.g., Semaphore and Circle CI.

[luismbo]

Semaphore mostly works as is, but sometimes builds time out. Perhaps their environment is more restricted or resource constrained than Travis's, not sure.