working version of coverity.bat; add support for building with VS 2013 and (untested) fix to make VS 2012 build support Windows XP (thanks to XhmikosR)
fix inverted logic pointed out by coverity