Changed NONSTD to ACL2_REAL in GNUmakefile, anticipating changes about to be made by David Rager to the books.