=sci-mathematics/acl2-6.3 : Fix license, set USE="books" as default

A couple of changes. First, ACL2 has been licensed under the BSD 3-clause license for a few versions now. Second, I made the `books` use flag default to on, because it's basically a standard library for ACL2 and most programming language implementations on Gentoo tend to ship with their standard library.