Extract the screenlog filename from a BEAST2 input file
extract_screenlog_filename_from_beast2_input_file(input_filename)
the screenlog filename for a BEAST2 input file
the name of a BEAST2 input XML file.
This file usually has an .xml
extension.
Use create_temp_input_filename to create a temporary
filename with that extension.
Richèl J.C. Bilderbeek