[jenkins] Use VS2015, not 2013