darcs, logs & frontend proxies

Sadly, I can't seem to find a way to select only some of the commits to include in a pull request, hence this contains a bunch of unrelated stuff. All these patches are "live" at http://divine.fi.muni.cz/hydra