* CircleCI: Get rid of machine executors * CircleCI: Use new Circle images * CircleCI: Tweak dependency graph