Update to gym 1.0
Currently, we use the 0.10 version of gym. A first test showed that upgrading to 1.0 does not work out of the box.
The upgrading could be the first new usecase for the new testing mechanism of issue #28 (closed) .
Edited by Manfred Eppe