tohtml.py is now search.py + addition of bookdisplay module

Please see e-mails for more information.