Major rewrite of primary translation subroutines to increase maintainability.
Added dedicated command line options for query, port, maxstep, etc.
Fixed a bug causing the cplus2asp program to segfault when provided with a command line query number.
Extended cplus2asp.bin syntax to allow for complex maxstep expressions.
Fixed several issues involving incremental predicate translation failing.
Added the '--none-hack' command line option to the cplus2asp wrapper to define 'none'
to be a numerical value to circumvent a bug in Gringo 3.0.4's unification checking.
Set this to be enabled by default (for now). Added a corresponding option to
as2transition to set an alias for 'none'.
Fixed an issue causing mismatched parens to be generated with some object declarations.