Compilation service: Switch to zip archive, no result subdir.
Configuration GUI: Sort JSON produced during build, for determinism.
Configuration GUI: Don't include redundant dereferenced information in the final value.
This currently breaks both config loading in the GUI and the main-file generator.
Configuration GUI: Produce pretty-printer exports.
Configuration GUI: Fix configs not loading right.
The problem was that if the derived fields like board_data were missing in the config,
they would not be added to the editor, because they were not marked as required in the
schema. Fix it by removing all required arrays from the schema and instead initializing
the editor with required_by_default=true.
Configuratio GUI: Update the default config without the derived cruft.
Configuration GUI: Add button to delete locally saved data.
Configuration generator: Grab the board data based on the board_id.
Now the whole thing works again.