Fixed: Check for alternative rst2pseudoxml binary.

On some systems, the corresponding binary is named "rst2pseudoxml"
instead of "rst2pseudoxml.py".