rename math domain to math1 to avoid conflicts with standard math module of python
an attempt to step debugging golog programs
math2
added tetris domain
final positions computation; fix state copy bug