execution time

new option to include the execution time for the specific PDF file
print total execution time