golang: add golint and gotags
lilypond: updated from 2.16.2 to 2.18.2
Merge pull request #4480 from sepi/lilypond-2.18.2

lilypond: updated from 2.16.2 to 2.18.2
Merge pull request #4458 from offlinehacker/pkgs/gotools

golang: add golint and gotags
haskell-xmobar: update to version 0.22.1
change md5sum to sha256sum for a few packages
haskell-packages.nix: remove if-then-else case distinctions by compiler version

These decisions belong into haskell-defaults.nix.
Merge pull request #4498 from robberer/remove/md5

change md5sum to sha256sum for a few packages
why3: update from 0.83 to 0.85
libantlr3c: new derivation

libantlr3c is the C runtime library of ANTLR v3

Homepage: http://www.antlr3.org/
cvc4: new derivation

CVC4 is an efficient open-source automatic theorem prover for
satisfiability modulo theories (SMT) problems.

Homepage: http://cvc4.cs.nyu.edu/web/
oraclejdk: bump to 8u20

Closes #4492