Small style fixups

In this commit, I modified some files, conforming them to a
idiosyncratic standard - mainly, a template for meta attribs.
php: update from 5.4.31 to 5.4.32, potentially fixes CVE-2014-3587, CVE-2014-3597, CVE-2014-5120
vagrant: update from 1.6.4 to 1.6.5
scala: update from 2.11.0 to 2.11.1
qrencode: update from 3.4.3 to 3.4.4
pv: update from 1.5.3 to 1.5.7
pmd: update from 4.2.5 to 4.2.6
panotools: update from 2.9.18 to 2.9.19
liboauth: update from 1.0.2 to 1.0.3, potentially fixes CVE-2013-4390
libmicrohttpd: update from 0.9.35 to 0.9.37
ircdHybrid: update from 7.2.2 to 7.2.3, potentially fixes CVE-2013-0238
Add a working URL for arkpandora font
Fix JWM source URL
python-hetzner: Update to bugfix version 0.7.2.

From version 0.7.1 this fixes encoding problems with some DELL servers
while running the CLI.

And more importantly in version 0.7.2, it fixes the SSL certificate
error (Hetzner changed CA) which renders the library pretty much
useless.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
nodePackages: add statsd-influxdb-backend, influxdb backend for statsd
influxdb: update 0.7.0 -> 0.8.2
nixos/statsd: add support for external backends, fix a few options
containers: Remove check for var/lib/startup-done.

Fixes a leftover from 330fadb7060074bd5c38e5dcefc394abaf8d6a09.

We're using systemd dbus notifications now and this leftover caused the
startup notification to fail.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
containers: Don't descend into mounts on destroy.

This tells the sad tale of @the-kenny who had bind-mounted his home
directory into a container. After doing `nixos-container destroy` he
discovered that his home directory went from "full of precious data" to
"no more data".

We want to avoid having similar sad tales in the future, so this now also
check this in the containers VM test.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
agda: add Agda-Sheaves