Fast path for read-only / immutable files

As it works currently, robofish.io.File copies all preexisting files into a temporary directory and opens the copy in read-write mode. For files that only need to read, it would be nice to have a simple read-only API as a fast path.