Add PrinterManager.getPrinter() method. This speeds up dynamicppd.py a ton.