Bump waf version requirement

Fixes some issues with Python 3
waf: fix Python 3 check
waf: implement Sphinx HTML documentation task

This actually uses the Sphinx Python module, but it’s still pretty
damn ugly. Seems to be impossible to know the output files in advance
without poking Sphinx builder internals.
.gitignore: add Python cache stuff
Update INSTALL