STIPFLaS — A Software Tool for Teaching Introductory Programming, Formal Languages and Semantics