The buildbot now builds with trilinos as well. Also, ccache is used, and
scons uses now '-j4' / '-j2' so that the build time for the whole thing
is down to ten minutes on the 64-bit machine. This includes building
everything five times (different configurations), and building and
running the tests. In matter of fact, the tests take up the majority of
the time! A nice value of 19 is used so that other jobs on the machines
will get priority.