fixes #6: use psc-docs for docgen; fall back to old docgen binary

I didn't test this, just wrote it up in Github's online editor.