rm autogenerated python docs
Remove the entire machinery for generating Python docs from Doxygen. The only purpose of these docs was introspection in interactive use. As we run Python from scripts, not from terminal, we never use introspection. Other forms of documentation are sufficient & more convenient.