Small improvements to MSBuild and build commands.

Strenghten the build command.
Check PEVerify before using it.
Delete original XML documentation files (before Code Contracts).
Remove &quot; from the raw paths.