Merge branch 'support-ubuntu-18.04-onwards'

Update the CI build to not archive the tool or deb.

As we need to download the tool and execute it, we would like to
avoid having to unarchive it.

Update version number to 0.05.

The only things different about 0.05 are:

  * The releases will be built automatically by the GitHub actions.
  * The output is forced to be line buffered.

Increment version to 0.04.

New features for timeout and ANSI text configuration options, when
supported by the server.

Added CI to allow the RISC OS build to happen.

The CI should now invoke the !BuildAll script and that should then
go off and build all the parts that we need. Then we use the clipboard
to copy off the binary.

Added support for writing the files with a filetype on RISC OS builds.

Added support for using the server URI.

The server URI can be set from the command line as well. This is mostly
for testing, so that I don't have to use the live server.