Fix some errors and confusing word choices
Updated Git Extensions link
Remove references to git pull. We don't recommend people use it under any circumstances for OpenRA.
simplify the VS links and add SharpDevelop
don't recommend GitHub for Windows
This (+branch) variant is better for pushing. See git push --help --force parameter for additional info.
Updated Contributing (markdown)