PDF output

Hello, I'm attaching the beginnings of a PDF backend. It

    > doesn't implement much of the backend protocol yet, but
    > enough for this script to produce the attached output:

Very nice! I committed this to svn. If you would like to work on it
there, send me a sourceforge id and I'll add you to the committers