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.
I would agree, since I pretty much always forget to update them.

Should I add a commit on this PR Nils?