send_file(int host_id, const char* file_name) or the command line program (run from the project root directory)
send_file -host_id X -file_name Y
send_file creates a result and initializes it with a name of the form send_FILENAME_HOSTID_TIME.
A message is created for the host and added to the msg_to_host table.
This message instructs the client to download the file
and acknowledge a successful download.
The download message included in the next RPC reply to the host.
The message has the form:
", html_text("