Proposed HRD File Format

For an off the shelf one, I think CUE is a very cool config format, and I hope it takes off. I don’t think a verifier would fit in genode’s core for the same reason an IDL generaror doesn’t though.