Added svg versions of diagrams, centered diagrams, minor prettifying of latex.