Update to 1.13b:

--------------
Version 1.13b:
--------------

  - Improved the performance of minimize_corpus.sh by switching to a
    sort-based approach.

  - Made several minor revisions to the docs.

(wiz)