Add support for project files.

[strub]

Should allow to set :

• the source tree
• the compilation flags
• the include path & external libraries
• to install a project as an EasyCrypt library