Update BLCR to version 0.8.5
Update HOL Light to revision 154
Update HOL Light to revision 155
all-packages.nix: provide a variant of Darcs that includes the executable, but not the library

The reduced 'darcs' derivation is supposed to be run-time independent of the
Haskell compiler. Unfortunately, this isn't quite true yet because the HTTP
package bakes its own store path into the library. This causes Darcs -- which
links the HTTP library statically -- to depend on 'HTTP', which in turn depends
on lot of other Haskell stuff. Patching HTTP to get rid of that reference looks
feasible, though.
darcs: build against the latest versions of the 'tar' and 'haskeline' dependencies
dhcpcd: Update to 5.6.7
openresolv: Update to 3.5.4
Linux 3.7.7
Linux 3.0.63
Linux 3.4.30
Update rubygems.

More vulnerabilities:
https://groups.google.com/forum/?fromgroups=#!topic/rubyonrails-security/4_YvCpLzL58
https://groups.google.com/forum/?fromgroups=#!topic/rubyonrails-security/KtmwSbEpzrU
https://groups.google.com/forum/?fromgroups=#!topic/rubyonrails-security/AFBKNY7VSH8
texlive-moderncv: update to version 1.3.0
warsow: Fix for ui module downloaded from server.
ghc-with-packages.nix: include man pages in the generated profile
xmonad: install man page into the proper location
flashplayer-11: Update to version 11.2.202.262.

This update contains security fixes for two vulnerabilities, for details please
have a look at:

http://www.adobe.com/support/security/bulletins/apsb13-04.html

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
xcodeenv: Allow app names with with spaces in them
haskell-hsdns: update to version 1.6
haskell-hsyslog: update to version 1.5
releaseTools.nixBuild: Support builds with multiple outputs