Add support for GitHub caching of Nix builds.#154

Zimmi48 wants to merge 1 commit intorocq-community:masterrocq-community/coq-nix-toolbox:masterfrom

Zimmi48:magic-nix-cacheZimmi48/coq-nix-toolbox:magic-nix-cacheCopy head branch name to clipboard