Made it so timing.log is opened each time I want to write something in it.
Since this is called only when --debug is provided to kompile, it shouldn't be a time penalty for normal usages.
Using try with resources. Forgot that java has them.
Merge pull request #492 from kframework/fix-timing-log

Made it so timing.log is opened each time I want to write something in it