Major revision. Reached cplus2asp version 3.0.
* Binaries are now named cplus2asp3 to reflect the non-backwards compatibility of the update.
* Fixed numerous bugs
* Removed support for commas as conjunction as it was confusing, please use & instead
* Added support the full language BC+ including cardinality aggregates
* Added support for command-line macro declaration.
* Removed reification from the translated program (except for in the case of additive fluents)
* Added stricter syntax checking including, but not limited to
  * Law forms are now enforced for each language (C+ cannot use the "F if G" syntax, MVPF must use "F <- G", etc)
  * Operands to arithmetic operators must be guaranteed to be numeric
* Added support for cross-state query constraints (3:a -> maxstep:q).
* Provides full support for ":- show" and ":- hide" declarations
* Enhanced error messages