Buildbot scripts for the KLEE project