Use the DD upsert operator instead of maintaining input state in DDlog.

[ryzhyk]

We currently use a private snapshot of the state of input relations to implement set semantics (ignore or fail on duplicates). We should use DD's upsert operator instead, which should be faster and use less memory at least when the input arrangement ends up being reused by some of the rules.