buildbot: added builders for Helena at DTU

We build the toolchain using build.sh and then focus on testing platin+aiT.

The counting lock has to be initialized differently, maybe due to my newer buildbot version?