Small style fixups

In this commit, I modified some files, conforming them to a
idiosyncratic standard - mainly, a template for meta attribs.
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
lib/licenses: add cc-by-40 (fixes #4035)
agda-sheaves: use lib.licenses
gtkspellmm: new package

@vcunat added platforms.
flite: update 1.4 -> 1.9.0

@vcunat added meta.platforms.
agda-stdlib: make expression nicer, fix license
agda: fix license
agda: add bitvector
smartgithg: new package

@vcunat added meta.platforms.
smem: Add package

This is a memory reporting tool that accounts for shared memory.
update hpn patch version to match openssh version

so that hpn_openssh is not boken anymore
nixos/tomcat: make package version configurable
pypy: handle unsupported packages
package gim-nix and document it
rubyLibs: add erubis and yajl