Updating documentation

@howland: I mostly got rid of doc build errors; this also includes changes from @snschune for the theory manual (thanks!). Between the two of us we can clean up the rest of the docs and code before or during (in my case during since I'm not sure I can do it ahead of time) the hackathon.