Optionally log runtime information to a file

[adrianherrera]

Not sure how useful this is in a broader context, but I found it useful to separate symcc output from the target program output.

[sebastianpoeplau]

I like it, thanks for contributing!