updated dipylon.project : fixed the names of the compilations's options
Merge branch 'feature15' into dev