Console models output can now be saved to a user-specified file in a
MainClassLauncer