Hybrid system examples updated.  Mainly the two tanks system has been
revived and a non-deterministic variant of this system has been added.