bug fixes and search

Added more content in documentation.html; added foundation for search
in documentation.html;

added search testing in testdoc.html…