keepass: Bump version to 2.28
golang: add golint and gotags
libsieve: new package
discount: new package
prosody: packaged as a service

Conflicts:
	nixos/modules/misc/ids.nix
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
coqPackages.domains: new expression