Allow override of parameters to console.editfile()

For Nightfox and his newsgroup reader thing: The strings that end up in the editor drop file (e.g. MSGINF) can now be passed as optional arguments to consol.editfile() and the underlying C++ API.

Allow maxlines (default:10000) to be overridden with an optional consol.editfile() argument too.