Conversation

This changeset allow our render_docs.py tool (old generate_html.py renamed with a more intuitive name and relocated a better place) to be invoked in any directory. (Before, it required to be invoked on docs)