add git-magic; acl2 version bump; add cdfplayer