Add README and rename formal xv6's "README".