build.cfg: explain new options for test bench
exp: pass the configuration .pml to CMake

..now that the CMake environment moved to configuration via .pml files.
exp: experiment with WCT'14 benchmarks