Clean target for 3rdparty

(useful after opam switch)
Big-step interpreter for STLC