v0.10.0

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.

• Stop permitting letters []^` after first letter in variable names. This was
  an unintended and undocumented feature of the input syntax.
• Move programs rg and grpatch to gr1c rg and gr1c patch, respectively.
  The sub-command-oriented style thus begins in the gr1c suite.
• Create shell script get-deps.sh to automate fetching CUDD.
• Offer command-line argument -- to stop reading options.
• Allow for non-reentrant parser. This improves standard lex,yacc conformance.
  However, reentrant parsers may be introduced again later.
• Refactor several functions in API to use "to" instead "2".