XDOC fancy viewer updates and bugfixes

 - Ported xdoc fancy viewer to newer versions of jquery and typeahead

 - Fixed up typeahead box (jump to box) to be less horrible, showing
   many more results with a scroll-bar if necesary, and adding "return
   key chooses first item" support.  I think I'll claim this fixes #149.

 - (with Sol) make middle click work in xdoc.  Senseless hacking.  Seems to
   work in Chrome and Firefox.  Fixes #148.

Please report any portability issues...
Brought doc.lisp up to date with books/system/doc/acl2-doc.lisp.
Merge remote-tracking branch 'remotes/origin/master'
Avoid certifying oslib/tests/dirname on Allegro and Lispworks

 - Added new 'non-allegro' and 'non-lispworks' cert params.
 - Extended Makefile to exclude these books as appropriate.

Haven't really tested this, but I think it should work.
Made theory functions tail recursive in books/ihs/ihs-theories.lisp.  Changed license on books/data-structures/array1.lisp to 3-clause BSD,

Changed some theories in books/ihs/ihs-theories.lisp to be
tail-recursive, to avoid memory growing too large for ACL2(h) built on
Allegro CL.

Changed license on books/data-structures/array1.lisp to 3-clause BSD,
as arranged with copyright holder (apparently an oversight that this
didn't happen sooner; thanks to Jared Davis for pointing this out).
add support for non-sbcl cert-param, add non-allegro cert-param to oslib/file-types
Merge pull request #241 from ragerdl/master

Fixup googlecode references