Moved all Linux CI jobs over to CircleCI
This PR moves all linux-based CI jobs onto circle-ci; the use of docker images on that platform should speed things up.
This PR moves all linux-based CI jobs onto circle-ci; the use of docker images on that platform should speed things up.