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
Disable fuppes module

fuppes has not been compiling for a long moment, and the ffmpeg version on
which it depends is no longer listed in nixpkgs.
pypy: handle unsupported packages
package gim-nix and document it
rubyLibs: add erubis and yajl
consul: 0.3.0 -> 0.4.0
gems: Add rdoc, execjs, uglifier
Merge pull request #4042 from wkennington/master.consul

Consul: 0.3.0 -> 0.4.0
dbus_python: Add missing isPyPy argument.
Merge pull request #4044 from nathanielbaxter/dev/python

dbus_python: Add missing isPyPy argument.
Merge pull request #4040 from jbgi/patch-1

update hpn patch version to match openssh version