Add Jim Tcl interpreter
jimtcl: remove end dot from description
Small style fixups

In this commit, I modified some files, conforming them to a
idiosyncratic standard - mainly, a template for meta attribs.
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: add graphite api to graphite functionality
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>
IntelliJ IDEA: do not assume that we are using OpenJDK.
agda: add Agda-Sheaves
lib/licenses: add cc-by-40 (fixes #4035)
added volumeicon
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