Jenkins: add stages

Jenkinsfile

@@ -29,8 +29,10 @@ node {
 	for (int i = 0; i < platforms.size(); ++i) {
 	    //echo "check BUILD_${platforms[i]} -> ${_v}"
 	    if (_envmap["BUILD_${platforms[i]}"] == "1") {
+			stage("${platforms[i]}-libs") {
 				_msg += build_docker("${platforms[i]}")
 			}
 	    }
+	}
 	echo "${_msg}"
 }