Snapshot of APTE v0.4beta & benchmark material for POR

Snapshot of APTE v0.4beta with benchmark material associated to the journal paper A Reduced Semantics for Deciding Trace Equivalence in Logical Methods in Computer Science.