v0.10.1

Binary distributions are available at http://vehicles.caltech.edu/snapshots
Documentation is available at http://slivingston.github.io/gr1c

A summary of news about this version follows.

• Provide more varied and consistent usage of exit codes.
  (This change occurred as part of 0.10.0.)
• The file format version switch (-s) of autman causes the version number to
  be printed to stdout and return of 0 (success), instead of returning the
  version number as the exit code. (This change occurred as part of 0.10.0.)
• Default to CUDD 2.5.1
• Decide BDD constant value from Cudd_Eval() using Cudd_IsComplement(). This
  only concerns internal usage of CUDD by gr1c.
• Various plugs of memory leaks. These did not affect correctness of output.