Replace the XSL-based protocol documentation generator with a small Python script which turns XML into Markdown suitable for mdBook. Signed-off-by: Simon Ser <contact@emersion.fr>