Avoid testing getopt on problematic Lisps

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2924 303c5b2c-9740-0410-b014-fd8f9db7be32
Fix stupid bug

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2925 303c5b2c-9740-0410-b014-fd8f9db7be32
Merged changes from 6.5 branch by executing:

  svn merge -r 2901:2915 https://acl2-books.googlecode.com/svn/branches/6.5 .

Replaced obsolete stub str/top.cert in GNUmakefile by
std/strings/top.cert (needed to avoid error in target
milawa-test-basic, which is invoked by the "everything" target).



git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2927 303c5b2c-9740-0410-b014-fd8f9db7be32