venti: add demo programs readfile.c and writefile.c
2 files changed