Allow the user to execute commands at the beginning of the X session.

The difference between xsession and xprofile is that xsession is exec'd and xprofile is sourced.
So with xprofile all commands after sourcing will still be exectued. This allows for instance
autostarting of applications while configuring the start of a window manager via configuration.nix.
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
Fix building with recent openjdk
haskell-Stream: update to version 0.4.7.1
haskell-haskell-packages: update to version 0.2.3.3
haskell-httpd-shed: update to version 0.4.0.1
haskell-pandoc: update to version 1.12.3.1
haskell-semigroups: update to version 0.12.2
haskell-haskeline: update to version 0.7.1.2
haskell-terminfo: update to version 0.4.0.0
haskell-vty: jailbreak to fix build with latest 'terminfo'
haskell-wl-pprint-terminfo: jailbreak to fix build with latest 'terminfo'
mpv: updating to 0.3.2.
Updating gnunet to 0.10.0.
Updating opencascade_oce to 0.14.1
ffmpeg: adding gnutls support

I also take out the useless 'openssl' I added by error to mpv.
Fix typo

Thanks to @bennofs for pointing it out

Signed-off-by: Shea Levy <shea@shealevy.com>