Also put a timeout on python, which is hanging in CI on a branch

Jenkinsfiles/Linux-SGX

@@ -49,13 +49,15 @@ pipeline {
 			        make SGX_RUN=1			    
                                 make SGX_RUN=1 regression
                             '''
-			}    
-                        sh '''
-                            cd LibOS/shim/test/apps/python
-			    make SGX=1
-			    make SGX_RUN=1			    
-                            make SGX_RUN=1 regression
+			}
+			timeout(time: 5, unit: 'MINUTES') {		    						
+                            sh '''
+                                cd LibOS/shim/test/apps/python
+			        make SGX=1
+			        make SGX_RUN=1			    
+                                make SGX_RUN=1 regression
                             '''
+			}
 			timeout(time: 5, unit: 'MINUTES') {		    
                             sh '''
                                 cd LibOS/shim/test/apps/gcc