copies the source file to the destination file. Returns true if the file has been copied.
function copy input String source; input String destination; output Boolean success; end copy;