pkgs: Add gcc-4.8
pkgs: Add rust and cargo
pkgs: Add isabelle-dist-2014
support: gcc: Fix gcc-env2args