S-learner fix

S- and SPY- learners fix

TeacherGridWorld updated
Teacher provide the size of the observation tree

SPYH-method

- verification of convergence according to the SPY-method
- choice of state pair's separating sequences as in the H-method

advanced SPYH-method now called the S-method

SPYlearner

- extends recently queried sequences
- learns 10multi machines

FSMlib handling testing and learning of FSMs - reset required for lea…

…rning

FSMlib handling testing and basic sequences