new upstream release: 3.1.2

npm registry has version 3.1.2, the debian/changelog has version 3.1.1