configure.ac: moving towards release 1.3