Changes to the Configuration file

Distinguish between the Configuration file we use to build and the
one we have under version control.

If Configuration is missing, it will be automatically created by the
Makefile. It is also available under the Configuration build target.