Help/dev: Add info how to generate documentation locally This adds a short info to the development documentation how to build it locally quickly using only Utilities/Sphinx source directory.