Branch tester-builder - convert python formula to property statecharts

This branch is a first attempt to create a kind of temporal logic in Python, that can be used to automatically generate property statecharts from a "Python formula". 