Move ACL2 to the root projects directory