Add CircleCI configuration

Use CircleCI for the same reasons as Helios (i.e., native Docker support
without running usermode Linux).