copy-file: utility function to copy files. Not well tested. Note that misc_things.reb is a temporary stupid name.