Added a loop over all filename arguments.  It now prints the filename,
the compilation time, and the interpretation time for each argument.