Make 4.0.
Small patch for BibTool.
December 2013 edition of GNU Parallel.
Bump.

At Adrian Prantl's request, I'm the maintainer now.
SBCL 1.1.14.
Better organization for the tptp package(s).