Allow generating json without including extra files

Allows doing ./build.py --generate-stl-options-json without --include-extra-files. This will be useful for running the stl selector locally without including the extra non-openscad files.