Depicter PDF export

Depicter can now export vector drawings in PDF format. We're using Apache FOP to handle the conversion.

Tags: