Add support for disjunctive rules (with shift semantics).
Fix bug with choice simplification.
Replace vector with Vector in the parsing of gringo output.