Update paper, trimming length, switching SVG diagrams to listings, and switching to USENIX-style formatting