build.xml now tries both rst2html and rst2html.py