Update HOL Light to rev 157
rsync: add meta.license attribute
rsync: fix build an FreeBSD (by disabling ACL support)
gnumake: disable test suite on FreeBSD

One test fails, unfortunately, but I'm not sure what to do about it.
libxslt: fix impurity on 'native-stdenv' platforms

libxslt has optional dependencies which may be found in /usr or
/usr/local on platforms that have a native stdenv. With those features
enabled, the build generated binaries that depend on libraries outside
of the store. In this particular case, the NixOS channel had binaries
for FreeBSD that depended on libgcrypt, apparently because that packages
happens to be installed outside of Nix on the build machine. On other
machines, however, those binaries failed with unresolvable references.
git: fix build on FreeBSD

Our hard-linking code depended on md5sum, which FreeBSD doesn't have in its
system environment. To avoid that impure dependency, the hard-linking is now
done with the 'hardlink' utility from Nixpkgs.
libxslt: revert impurity fix on 'native-stdenv' platforms

Commit 16863d8ffe24649fb6a7500f2b457dd2e559de47 caused massive re-builds.
This change needs to be made differently.
libxslt: fix impurity on 'native-stdenv' platforms

libxslt has optional dependencies which may be found in /usr or
/usr/local on platforms that have a native stdenv. With those features
enabled, the build generated binaries that depend on libraries outside
of the store. In this particular case, the NixOS channel had binaries
for FreeBSD that depended on libgcrypt, apparently because that packages
happens to be installed outside of Nix on the build machine. On other
machines, however, those binaries failed with unresolvable references.
haskell-HGL: drop obsolete library that doesn't compile anymore with recent GHCs
haskell-xdot: jailbreak to fix build with recent versions of polyparse
Add renameutils package.
Update bitcoin-qt to 0.8.1
Adding Steam Locomotive, for the fun
fix pythonWrapper for non-gnu ln
fix ino
Merge pull request #410 from pcapriotti/bitcoin

Update bitcoin-qt to 0.8.1
Merge pull request #409 from pcapriotti/renameutils

Add renameutils package.
LinuxSampler: fix the build by disabling a check for a bug

Without the --disable-nptl-bug-check configure option LinuxSampler
refuses to build. It seems to be a long standing bug. Despite this, I
have used LinuxSampler for over a week now and it seems OK.
Updating the assertion to cpufrequtils: linux pc only.

The armv5tel-linux and mips64el-linux fail to build this too.
all-packages.nix: mark python3 'hiPrio' so that it takes precedence when version 2.x and 3.x are installed into the same environment