sci-mathematics/acl2: Version bump to 6.3

This is a workable version. Welcome to test.  gentoo-science/sci#140

USE="books" took me 3.5h to build (4 cores).