Version 0.3.1

This release fixes a potential issue within the text rendering.
Note that 0.3.1 works with savegames of 0.3.0.