Specify debug log options from the command-line

[R1kM]

trafficstars

When debugging Aeneas, the current workflow is to manually edit Main.ml to toggle logging in different files before recompiling the project. It would be useful to be able to toggle logging from the command-line.