Really updates search_engine_part_7.html and search.py to include PickleDB support.