We already have --remote-{client,host,port,user,extra-options} in order
to allow binaries to be run remotely via ssh. However, that bakes in the
assumption that "cd $PWD; ./$EXE" will work on the remote host, i.e.
that $PWD is a shared network directory and that the path to it is
identical on both hosts, which is normally not the case.
This adds --remote-copy, which takes the name of or path to an scp (or
compatible) program, mirroring --remote-client, and --remote-directory
as the location to which to copy the executable, which can also be used
on its own if you have a shared network directory but its path differs
between hosts.
clang-format: please reformat the code