Removing junk README.md so it can be merged in from community acl2 later