Rename docgen, remove installation script, update license, change direct...

...ory for prelude. Fix #657.

@garyb @joneshf Could you please review?
This still mentions `docgen`. Should it be `psc-docs` instead?