PR #1: Bootstrap: the spine, three checks, and the nix-ci integration