- comment Z3 websockets server
- interestingly, full reset is faster than push/pop scope dance in ServerZ3
- be synchronous by default
make examples prettier for eccop AE submission
final additions for ecoop