Variable lists in Story Statistics + syntax fixes

* Story Statistics now lists all the variables used in macros in the
story.
* Fixed syntax highlighter treating Javascript constants NaN, true, etc.
as case-insensitive.
* Syntax highlighting regexes now use re.U for Unicode awareness.
* Fixed support for the <<elseif>> formulation of <<else if>>.