new upstream release: 3.1.13

npm registry has version 3.1.13, the debian/changelog has version 1:3.1.13