Pretty latex printing in iPython Notebook & more

Also: constraint checking, example refactoring, and sensitivities
filtering.