API for preferences

[unhammer]

so divvun-api doesn't have to parse

https://github.com/divvun/divvun-api/blob/50c821ae2e181d77cac74d2d6d2a4edae1f3637c/src/language/grammar.rs#L289-L300 😱

@bbqsrc what would be preferable? divvun-checker -p just parses pipespec.xml and outputs it in a human-readable format, it was never meant to be parsed by machines (unlike the xml it parses in order to create that human-readable output …).