Hacks to separate build server from web server
Ready for deployment
Added warning for outdated documentation
Okay, more warning
Force flushing of stdout for debug print systems.

Hopefully, this will fix the problem of bug 803530, by at least having the
progress print statements force resets of the 1 hr-with-no-output time limit.
Set the link's text content as the search hint
Updating production to newer revision.
Write out build logs on the fly, rs=ErikRose
Add the number of worker threads needed for better debugging.
Fix (hopefully all) XSSes in old CGI-based code. Fixes bug 846291.

We used to pointlessly HTML-escape the query when returning search results as JSON. Stopped that.
Turn off the 'Unprocessed kind' message spew.
Dummy merge to bring production onto the master branch.
Add a verbose option when indexing.
Don't open up the build.log file if we're in verbose mode.
Read and print the build log when *not* in verbose mode. Clean up style.
Merge in jcranmer's dummy-merge of prod, so the hg mirrors pulling prod will happily fast-forward to master. We should fix (or get rid of) the mirrors when we can.

The only change is #ifdef-ing out some noisy "Unprocessed kind" build output.
Add a --verbose option to dxr-build so buildbot doesn't get bored and abort our jobs.

buildbot needs output every 2 minutes or hours or something.