matcher: reset current option when fuzzy matching short options (fixes #14)
store: utf8 encode synopsis

We already encode the paragraph's text, and leaving this in Unicode caused
an annoying UnicodeWarning in matcher.py:312.