More pairings residue stuff, plus a TODO list for the writeup
Merge branch 'master' of github.com:tjweisman/bn_writeups