A Stabilizer Formalism for Infinitely Many Qubits