LogTo( filename )
LogTo causes the subsequent interaction to be logged to the file
with the name filename, i.e., everything you see on your terminal
will also appear in this file. This file must of course be writable by
GAP, otherwise an error is signalled. Note that LogTo
will overwrite the previous contents of this file if it already existed.
LogTo()
In this form LogTo stops logging again.