Preparing release 1.6 Xia/Zhu

configure.ac

 define([gitversion], esyscmd([sh -c "git log --oneline | wc -l | tr -d '\n'"]))
 define([gitbranch], esyscmd([sh -c "git branch | grep \* | cut -d ' ' -f2"]))
-AC_INIT([lustrec], 1.5-gitversion, [ploc@garoche.net])
-AC_SUBST(VERSION_CODENAME, "Xia/Shao Kang-dev")
+AC_INIT([lustrec], 1.6-gitversion, [ploc@garoche.net])
+AC_SUBST(VERSION_CODENAME, "Xia/Zhu")
 AC_SUBST(GITBRANCH, gitbranch)
 # Next release will be
-#AC_INIT([lustrec], [1.6], [ploc@garoche.net])
-#AC_SUBST(VERSION_CODENAME, "Xia/Zhu")
+#AC_INIT([lustrec], [1.7], [ploc@garoche.net])
+#AC_SUBST(VERSION_CODENAME, "Xia/Huai")
 AC_MSG_NOTICE(Git branch: ${GITBRANCH})
 AC_CONFIG_SRCDIR([src/main_lustre_compiler.ml])
 AC_CONFIG_SRCDIR([src/main_lustre_testgen.ml])