save_as should not close the file.

robofish.io.File.save_as() has to close the file to be able to save it. The file should be reopened or copied in the open state instead.