Set-up logging infrastructure

[eupp]

As the Lincheck codebase grows in size and complexity, debugging becomes more and more challenging process. To improve the development process and speed-up debugging process, we need to add a logging facilities to Lincheck.

• [ ] Decide whether to use existing library, or implement simple logging facilities from scratch.

• [ ] Select a set of subsystems that can benefit from logging, and add logging there gradually in several steps.

  • [ ] Runner and FixedActiveThreadsExecutor classes: log tasks execution process, thrown exceptions, etc.
  • [ ] ManagedStrategy: log calls to injected methods, such as beforeReadField, beforeWriteField, etc.
  • [ ] LincheckJavaAgent: log what classes are transformed.
    • [ ] add possibility to dump transformed bytecode into files for inspection.
  • [ ] TODO: what else?