Update Readme.md

Got rid of something misleading and cleaned up a reference to the acl2 quick start topic.