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.
nixos: add graphite api to graphite functionality
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
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