Revert "pythonPackages.gtimelog: 0.8.1 -> 0.9.1, use gi stack"

This reverts commit 4fbeca8823949c388ab2d7c66927374be602b632.

PEBKAC.
pythonPackages.gcutil: fix build
python-packages-generated: fix WebTest
Chunk NixOS manual

[Squashed commits to make git blame etc. more likely to work. -ED]
No caps in filenames
grub: removed orphaned mkOption configurationName
/dev/sda1 -> "/dev/sda1"

Otherwise Nix might try to copy /dev/sda1 under certain circumstances
:-)
pypy: properly hint sqlite3 headers
coq_HEAD: update to latest Git HEAD
Add zendopcache php package
Revert "grub: removed orphaned mkOption configurationName"

The configurationName option value is still used by NixOS, this removal
breaks grub users.

This reverts commit bd811d32b4b194b9e551a66069641a76bd8eab58.