Quote paths from example & default attributes.
Export options.json & options.xml for building tools for NixOS.
Merge pull request #3811 from nbp/options-json

Export the list of options to XML & JSON, such that external tools can use it.