Turn on building the RV example by default.
Build system: add CBMC package for all targets.
sample-rtv-task: update w.r.t. Tower changes.
claims-tables now built in separate dir.