Added option to display execution time.  Closes #7.
Added option to display execution time.  Closes #7.



natural/java2python,natural/java2python,natural/java2python,dbotwinick/java2python,dbotwinick/java2python,dbotwinick/java2python