Output capDL spec as CDL format #379
Description
Follow up from #337, we have JSON output right now via --capdl-spec but to leverage existing verification tooling we need to output the CDL format (e.g https://github.com/seL4/capdl/blob/master/capDL-tool/example.cdl)
This will not be part of the upcoming release (2.1.0)