Currently, when executing start.py, we may see the Docker building logs, script logs of its progress, and SQLancer logs altogether. I'm wondering if we could explicitly separate these logs? e.g., using logging in Python, we make them go to different files, and only show the progress.