Found that MSVC 2013 Update 3 ICEs, mention Update 4 in readme
Update jenkins build scripts
Fix typo in .bat jenkins build file
Test for the existence of devtoolset-2 in jenkins-build script