Remove ignored argument to sync
boolector: add version 1.5 and 1.6

There are two versions here because beginning with 1.6.0, Boolector has
a more restrictive, unfree license which disallows commercial use.

As a result, Boolector 1.5 is the default 'boolector' expression.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
linux: Update to 3.13.9
grsecurity: Update stable and test patches

stable: 3.0-3.2.56-201404012135 -> 3.0-3.2.56-201404062126
test:   3.0-3.13.8-201404011912 -> 3.0-3.13.9-201404062127
boolector: add version 1.5 and 1.6

There are two versions here because beginning with 1.6.0, Boolector has
a more restrictive, unfree license which disallows commercial use.

As a result, Boolector 1.5 is the default 'boolector' expression.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Merge pull request #2150 from thoughtpolice/boolector

boolector: add version 1.5 and 1.6
haskell-git-annex: update to version 5.20140405
haskell-DAV: update to version 0.6.2
haskell-HStringTemplate: update to version 0.7.3
haskell-Hipmunk: update to version 5.2.0.13
haskell-TypeCompose: update to version 0.9.10
haskell-crypto-conduit: update to version 0.5.3
haskell-cryptohash-cryptoapi: update to version 0.1.3
haskell-fay-base: update to version 0.19.1.1
haskell-fay: update to version 0.19.1.2
haskell-hakyll: update to version 4.5.0.2
haskell-hspec-meta: update to version 1.9.2
haskell-hspec: update to version 1.9.2
haskell-quickcheck-io: update to version 0.1.1
haskell-random-fu: update to version 0.2.5.0