r-jsonlite: update to 0.9.11
r-rgdal/rgeos: adding gdal geos and proj as dependency
krb5: Update to 12.2.2.

Fixes security vulnerabilities CVE-2014-4341, CVE-2014-4342,
CVE-2014-4343, CVE-2014-4344 and CVE-2014-4345.
Add "cask" package
Upgraded glances package to v2.1, and packaged its dependencies.

Disabled glances for pypy.
Added termite package and updated vte to be compatible.
Update VirtualBox to 4.3.16.
strongswan: Fix some hard-coding
Merge pull request #4156 from ambrop72/virtualbox-4.3.16

Update VirtualBox to 4.3.16.
erlang/R17: update to 17.3
monero: only build on x86_64-linux, fails for i686 on hydra
New Haskell package: tasty-program
libav: update all branches, probably with security fixes

(cherry picked from commit ead6603b6037a8ea6d6898241c7ae50888288bd3)
curl: update to 7.38.0, including security (#4161)

Fixes CVE-2014-3620 and CVE-2014-3613.
Merge pull request #4154 from k0ral/termite

Added termite package and updated vte to be compatible.
Merge pull request #4159 from ftrvxmtrx/erlang-17.3

erlang/R17: update to 17.3
coq_HEAD: Revert "update to latest Git version"

This reverts commit bf009f87a944a7664a8af340caa5444537400fc1. The update
breaks the build.
Merge pull request #4091 from michelk/r-gdal-geos

r-rgdal/rgeos: adding gdal geos and proj as dependency
Merge pull request #4090 from michelk/r-jsonlite

r-jsonlite: update to 0.9.11
Add tasty-program to haskell-packages