Update xmobar to 0.22
xmobar needs mtl 2.2.1 and transformers 0.4
all-packages.nix: drop trailing whitespace
haskell-libmpd: remove obsolete version 0.8.0.5
prosody: packaged as a service

Conflicts:
	nixos/modules/misc/ids.nix
megaglest: new package
xapian: update from 1.2.8 to 1.3.1
xplanet: fix giflib update
coqPackages.containers: correct sha256 for the tarball
coqPackages.containers: set broken to false
python: get rid of ssl module as it's always builtin
remove pythonPackages.ssl reference
coqPackages.tlc: new expression
Merge pull request #4446 from nathanielbaxter/dev/keepass

keepass: Bump version to 2.28
awesome: generate manpages
Merge pull request #3960 from flosse/prosody-service

Prosody service
coqPackages.bedrock: new expression
Merge pull request #4461 from VShell/libsieve

libsieve: new package
coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions
coqPackages.ynot: remove broken tag