Rework the documentation based on the renaming of the project

[pradyunsg]

Toward #136

@takluyver I just noticed #152 (🤦🏽) and this has a few overlapping changes with that.

[takluyver]

Is there a reason to drop the Makefile? make html is how I'm used to building Sphinx docs locally - am I out of date?

[pradyunsg]

For the last question: Maybe? :P

I tend to run sphinx-build docs build/docs / sphinx-autobuild docs build/docs, which I find straightforward-enough. I am down to add a tox target for the documentation build instead -- since realistically, there's both environment management and the documentation build command that are reasonably coupled. I'm ambivalent on the make html but if we do want to keep those, I'd prefer to file a follow up adding those back, as generated by the latest Sphinx version.

[takluyver]

Thanks! No worries about the conflict with #152; I'll fix them once this is in.

[pradyunsg]

@takluyver A gentle nudge for a re-review. :)

[pradyunsg]

On the basis that:

• we can address any potential feedback around the documentation in a follow up
• things around reaching the pypa/pep517 are a bit confusing without this change
• this is a significant-enough improvement to the docs overall
• it's easier to ask for forgiveness rather than permission

I'm gonna go ahead and merge this without waiting on a re-review. If someone reckons that might be overstepping or would otherwise prefer that I wait in the future, please let me know!

[takluyver]

Thanks Pradyun, and sorry I didn't get around to reviewing it again - I'm happy, in any case.