Buildbot should "make -k", not "make"
Right now, the buildbots use "make" to build our software. Instead, they should use "make -k".
The "-k" option tells make to continue building as many things as it can, so that we find out all the errors and warnings in Tor. Without it, we only find out which errors are there in the first problematic file we try to compile.