Refactoring of unix CI jobs
This PR refactors the unix CI jobs between CircleCI and TravisCI, mainly moving the docker stuff to CircleCI, which has better support.
This PR refactors the unix CI jobs between CircleCI and TravisCI, mainly moving the docker stuff to CircleCI, which has better support.