v3.1.3

This release fixes unicode issues in the Python bindings, and adds some clarifications to the documentation.

Since this release does not have any changes that affect the JavaScript bindings, there is no new NPM package.