convert docs/pisa-en.html to reStructuredText

I used the excellent pandoc tool (http://johnmacfarlane.net/pandoc/) to do the conversion - it did a great job.
I also removed some material that was duplicated in README and did some minor cleanup.