Add JSON output of STL options for the JS web stl selector

Kaspar Emanuelrequested to merge
json-build-output into master

This adds JSON generation to build.py that enumerates all the options that are in use. This will be used in a web utility for selecting STL files (currently work in progress at ofm-stl-selector).

If you have any suggestions or concerns. Let me know.

Edited by Kaspar Emanuel

Merge request reports