Update Io lang to version 2013.12.04
Update HOL Light to revision 179
Update PolyML to version 5.5.1
PolyML expression: Factorize version number in a separate variable
wireshark: build GUI with gtk3

This should be configurable, I guess.
wireshark: the gtk3 build fails, so use gtk2

Duh, this is much more difficult than I would have thought.
Merge pull request #1521 from maggesi/marginal-updates

Update Io lang to version 2013.12.04
haskell-SHA: update to version 1.6.4
haskell-attoparsec-enumerator: update to version 0.3.2
haskell-encoding: update to version 0.7
haskell-esqueleto: update to version 1.3.4.3
haskell-http-common: update to version 0.7.1.1
haskell-skein: update to version 1.0.8.1
haskell-xss-sanitize: update to version 0.3.4.2
haskell-hasktags: update to version 0.68.5
Adds a service for haveged, the entropy daemon

Includes configuration option for the threshold beneath which to refill
the entropy pool - defaults to 1024 bits as this is the number used in
other distro's existing service files I looked at.