Link to KLEE's new buildbot (thanks to Dominic Chen!).