Changed latex renderer to use fork/exec rather than system. Possibly fixed the mysqlpp connection dropping issue.
Fixed a missed connection in ExpandingFactWidget
Bug fixes.
Added an 'open new window' button to every page, and the new window open on the page you're currently on.
Moved the section edit/delete and fact add buttons onto the fact list rather than the section picker.
Added a rendered fact statement to the proof page for reference.
Made expanding fact widgets load the image only when expanded. Huge speedup to course load.