Started re-organising the metatheory proofs

Moved basic facts about the operational semantics to the
semantics/proofs directory. Moved the clocked interpreter there too.
Unfortunately, the clocked interpreter depends on bigClockTheory (in
particular, the interpreter's definition relies on the totality of the
clocked big-step semantics), so it has to go in proofs, rather than
semantics.