linux: really provide /proc/config.gz

Currently there is no /proc/config.gz, even though the configuration
indicates it. This fixes it.
unmaintain several packages
ghc-head: update to version 7.7.20130816
Merge branch 'origin/master' into stdenv.