add option to export highlights to local HTML files in Evernote plugin

This should close #957.