Updated Jenkinsfile to support the new warnings plugin. ( The Jenkins Warnings Next Generation Plugin )
Updated Jenkinsfile to support the new warnings plugin. ( The Jenkins Warnings Next Generation Plugin )

stan-dev/cmdstan,stan-dev/cmdstan,stan-dev/cmdstan,stan-dev/cmdstan