update linux kernel
add nginx to snowden
update tzdata, vim, mplayer, python2-youtube-dl and fontconfig
update ritchie kernel config for 3.13.7
update gnome packages
gmp: update to 6.0.0