Adding files from LaTeX compiling most of the Stabilizer paper.

(Had to cut out the last few sections of the paper due to a damned LaTeX memory limitation that I couldn't solve w/o resetting up TeXLive for the web)
Merge branch 'master' of https://github.com/jvilk/BFSBench

Conflicts:
	tools/rjs_config.js