Command-line tools for dealing with Type 1 fonts