mysql: Remove ancient, unsupported versions
php: Update to 5.4.20
mysql: Update to 5.5.34

CVE-2013-3839
mysql: Move all versions into the same directory
mysql: Update to 5.1.72
postgresql: Update to latest versions
grub: Make assertion lazier
Make manual generation not depend on the user's configuration

Previously changing the value of certain options in configuration.nix
would cause the manual to be regenerated, because some option defaults
depend on the configuration.  This is undesirable because rebuilding
the manual is kind of slow.  So now the manual reflects an empty
configuration.

The downside is that this requires another call to fixMergeModules,
which adds about 14% to evaluation time.  Probably worth it.
Rename newOptionAttrSetToDocList -> optionAttrSetToDocList