sci-mathematics/acl2-6.3: add new USE into metadata.xml