Bump the NixOS version number to 13.07

This is in preparation of making a stable release/branch.  The version
number is <YY>.<MM>, Ubuntu style, denoting the intended release
year/month.  It also has a release codename ("Aardvark").
Include all of KDE in the KDE test
Disable the trac test

It hasn't worked in ages.