Added new allowed project configuration properties for CodeContracts.

Also included a fix for files with SplashScreen build action.