A command line HTML to PDF converter for Mac OS X