Added real-timing to report.txt

report.txt

@@ -58,3 +58,25 @@ make[3]: Nothing to be done for 'real-all'.
  0m00.05s |    82760 ko | Expression.vo              
  0m00.04s |    79764 ko | TypedExpression.vo         
  0m00.03s |    64336 ko | SoundlyTypedExpression.vo  
+
+`make pretty-timed TIMING_REAL=1`
+make[3]: Nothing to be done for 'real-all'.
+     Time |    Peak Mem | File Name                  
+-----------------------------------------------------
+23m05.48s | 15880036 ko | Total Time / Peak Mem      
+-----------------------------------------------------
+12m29.64s |   761376 ko | RestrictedSemantics.vo     
+ 5m39.00s | 15880036 ko | ChoreographyCompiler.vo    
+ 4m31.76s |  1120148 ko | ConcurrentLambda.vo        
+ 0m20.37s |   619096 ko | Choreography.vo            
+ 0m02.21s |   487140 ko | TypedChoreography.vo       
+ 0m00.46s |   344884 ko | LambdaCalc.vo              
+ 0m00.45s |   355280 ko | STLCSound.vo               
+ 0m00.43s |   439744 ko | FunLMap.vo                 
+ 0m00.36s |   371816 ko | SoundlyTypedChoreography.vo
+ 0m00.29s |   346880 ko | STLC.vo                    
+ 0m00.20s |   238784 ko | LocationMap.vo             
+ 0m00.12s |   149840 ko | Locations.vo               
+ 0m00.07s |    82944 ko | Expression.vo              
+ 0m00.07s |    79616 ko | TypedExpression.vo         
+ 0m00.05s |    64108 ko | SoundlyTypedExpression.vo