Fix setup.py, use renamed restructured text files.

Otherwise the package cannot be installed from source/mr.developer