Solve a linear system modulo 2 with Sage

Original writeup (https://soupofentropy.wordpress.com/2016/09/05/how-to-solve-any-lights-out-games-or-my-writeup-for-lights-out-tokyo-westernsmma-ctf-2nd-2016/).