Release 1.3.1

I made #39 a while ago but I never got released.

I just realized it so this PR only creates a new version.

I would be safe to merge integration back into master.