Make sure that the same version number is available in the whole build chain.
Also make it available at the Eiffel level to be displayed wherever useful (currently in the console startup message).
oops fix sed expression