Change help text to show that output file is named with `-prove`

[MClarke1991]

Current output for running BioCheckConsole.exe without any input will state that for -engine GAME one can pipe the output to a specific file with the flag -out. This should be -prove