Version 0.2.0

• Explicitly support (fully observable) MDPs
• Avoid resizing by always having some sufficient margin around the arena.
• Updated to stormpy 1.7.0