Changes to apply when changing version:

- VERSION.txt: validate version number
- CHANGELOG
- 'make update_web_download_page
  This may update README.asciidoc regarding the table of releases, to be then committed. 
- install_arcv.sh: update version numbers assigned to vars
- 'make man' to update manpage
- pack/debian/control : update dependency version
- online doc: ensure developertoolsforlinux/pages/_topics/arcv/arcv_version.adoc is up-to-date