Moved the Code Contracts cleanup to a custom after targets import

Added documentation
Better treatment of the properties passed by Narvalo.proj
Better definition of Build, CoreBuild and LeanBuild