Creates a new file by copying an existing file.
os.Path.copy( source STRING, dest STRING ) RETURNING result INTEGER
The function returns TRUE if the file has been successfully copied, FALSE otherwise.