Updated version number in documentation.
Merged branch 'release/0.3.1' into 'develop'.