Move old Prosa to rt.classic, new Prosa from rt.restructuring to top level

As discussed at the RT-PROOFS meeting in Paris, we will make the newly restructured spec the new top-level spec, without discarding the old results.