Use std for file read

Right now I have two internal functions, read_locked_file and write_locked_file. I unwisely used bare redox syscalls to implement write_locked_file instead of using std::fs::OpenOptions, like the read implementation uses. I'll do this when I find the time.