configure.ac, main.js: update version number