Prototype for community version of ACL2 repository