Various changes to krseqsearch.py and search-and-align pipeline. Most notably, more logging added. Logging synonymy resolution to an html file.