v0.11.0

Documentation is available at https://tulip-control.github.io/gr1c

Summary of changes:

• Begin to use CUDD 3.0.0.
• Various updates, additions to documentation. The gr1c repository and issue
  tracker are now located at https://github.com/tulip-control/gr1c
• Move autman to be the command gr1c autman, and include it among programs
  installed during make install.
• Various improvements to parsing of command-line options: -vv is equivalent
  to -v -v; report unknown options that begin with --; add --version