GitHub will store all known open-source code in a vault in the Arctic