Bump release version for '0.3.1'
Documentation/ReleaseChecklist: Add post-release
Merge branch 'release/0.3.1'