Tools/px_process_module_doc.py: add script to extract documentation

And turn it into a markdown page.
It also does some simple validation, to check that the getopt() arguments
match the documentation.