Correct SAL annotations for static analysis.
Convert projects to VC2013 Update 3.