Arbitration contracts

Primary protocol surfaces include the arbitration policy registry, case registry and ruling registry used by 420Arbitration.

Generated ABI/NatSpec belongs in DOC-10; this manual documents snapshot, resolver, appeal, finality and remedy-consumption semantics.