search-engine: added distinct tokenizers

Now we have a separate HTML tokenizer.  Also I fixed a bug in the grep
command that made it totally not work.