Mind user guide and Mind dev guide migrated to DocBook v5 to avoid DTD duplication issues when re-using files
Modular Mind User Guide is published in doc folder, mind-compiler Mind User Guide is not published anymore, depency-tool doc is published in its example folder