Added proper croping and scaling for PDF output

Visualizer now always applies the viewport of the Renderer for PDF
output (The PDF you get is basically exactly what you see, except for
the PDF having higher quality)
Added API improvements

Colorizer is now accessible as static field of Renderer
Size and Color of selection marker is now adjustable