Merge (via cherry-pick) branch v2: remove demokit build harness

We now use the "new build" way of doing things, see SeattleTestbed/demokit