Export options.json & options.xml for building tools for NixOS.