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
Merge pull request #1521 from maggesi/marginal-updates

Update Io lang to version 2013.12.04