migrate to HermiT by default, including podd.properties setting if
necessary
fix xml header corrupted by autoformat
name the performance tests