* Introduce a 'make dist' target compiling a *source* archive
'make package' compiles a binary archive (not well tested)
* Compile java files only on need
* Introduce a 'make dist' target compiling a *source* archive
'make package' compiles a binary archive (not well tested)
* Compile java files only on need