Converting xdata2sql4seo.pl from DOS to UNIX format.  Without such conversion, one obtains the following error when running the script:

sloth:~/public_html/acl2-manual2$ ./xdata2sql4seo.pl
: No such file or directory
sloth:~/public_html/acl2-manual2$

Updates #133
Merge branch 'master' of https://github.com/acl2/acl2