gnome3: downgrade 3.12 packages to 3.10
add back old version of flex for grub2
Merge pull request #2193 from aristidb/master

add back old version of flex for grub2
nixos/jenkins-service: fix 'group' option documentation

Both for master and slave.
chromium: Update stable channel from 33.0.1750.152 -> 34.0.1847.116
icedtea7: Update from 2.4.5 -> 2.4.6
icedtea7: Fix building v2.4.6 by backporting fix

See http://icedtea.classpath.org/bugzilla/show_bug.cgi?id=1726
icedtea7_web: Update from 1.4.2 -> 1.5

Fixes CVE-2012-4540.
icedtea7_web: Fix configure phase not finding bash
linux: Update to 3.2.57
grsecurity: Update stable patch from 3.0-3.2.56-201404062126 -> 3.0-3.2.57-201404091758
tracker: new package

Desktop-neutral user information store, search tool and indexer

https://wiki.gnome.org/Projects/Tracker
gnome3: enable tracker services, though they are really experimental
gnome-user-docs: new package licensed under the new licenses.cc-by-30

User and system administration help for the Gnome

https://help.gnome.org/users/gnome-help/3.10