Fix #803
Set the version of source modules as soon as they are created
(this change is necessary due to the new Module.getSignature() mechanism
introduced during Stef's optimization work)
Clear the module annotations the first time they are built, to avoid
duplicating them during PhasedUnits.visitModules()