update minecraft-server to 1.7.10
Merge pull request #3663 from MP2E/mc_server_update

update minecraft-server to 1.7.10
haskell-gtk3: add 0.13.0.0