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

...ory for prelude. Fix #657.

@garyb @joneshf Could you please review?