Add jenkins continuous integration server and user.

By default the jenkins server is executed under the user "jenkins". Which can be configured using
users.jenkins.* options. If a different user is requested by changing services.jenkins.user then
none of the users.jenkins options apply.

This patch does not include jenkins slave configuration. Some config options will probably change
when this is implemented.

Aspects like the user and environment are typically identical between slave and master. The service
configs are different. The design is for users.jenkins to cover the shared aspects while
services.jenkins and services.jenkins-slave cover the master and slave specific aspects,
respectively.

Another option would be to place everything under services.jenkins and have a config that selects
master vs slave.
match systemd style and silent curl progress bar during startup check
add platform and license to package metadata.
remove users.jenkins config start on slave config.
Uses standard NixOS user config merging.
Work in progress: The slave config does not actually start the slave agent. This just configures a
jenkins user if required. Bare minimum to enable a nice jenkins SSH slave.
Update logcheck from 1.3.15 to 1.3.16
dovecot22: Update from 2.2.6 to 2.2.12
check: update from 0.9.11 to 0.9.12
clisp_2_44_1: update from 2.44.1 to 2.49
mpg123: update from 1.18.1 to 1.19.0
SDL2: update from 2.0.1 to 2.0.2
SDL_ttf: update from 2.0.9 to 2.0.11
alsaUtils: update from 1.0.27 to 1.0.27.2
Merge pull request #1831 from coreyoconnor/jenkins

Add jenkins continuous integration server and user.
Merge pull request #1940 from jacobhinkle/master

haskellPackages: Add AES and pbkdf haskell packages
Merge pull request #1938 from pSub/logcheck-update

Update logcheck from 1.3.15 to 1.3.16
keybinder: add gtk3 support
Merge pull request #1947 from NixOS/keybinder

keybinder: add gtk3 support
flashplayer: Add license field
keybinder: remove redundant arg
Don't enable Flash by default in the Firefox wrapper