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