exp: added option to build benchmarks for WCET analysis
exp: added support for analysis of Debie1

Some analyses still lack user bounds to make them feasible.