Project file tweaks

All StyleCop filenames are consistent and StyleCop is now
conditionally--not always--disabled. The Jenkins build should enable
StyleCop. It should be otherwise be disabled. Developers should run
StyleCop before committing.