Add JAXB marshalling for BenchmarkConfig

Make the <benchmarkConfig/> (de)serializable via JAXB while keeping backward compatibility as much as possible.

Any backward-incompatible change must be documented.