Robust CI

[jmitchell]

Travis is prone to timing out (e.g. see #87 (comment)).

[domenkozar]

Circle CI offers free linux and macos workers (with limited monthly minutes).

[domenkozar]

Could use cachix.org now :)