A lightweight utility for creating PDF files, written in Python