Fix setup.py; docs have been moved to sphinx.
No need to write doc.txt any longer.