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: 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