fix jsoniter panic

jsoniter can't do json.MarshalIndent: revert to json in std library to fix a panic when generating new vector config files

smaller memory footprint: 81M vs 182M at launch

1. pointers for works and lemmata trims a lot of fat
2. only load the default corpora on launch; load others on request
3. work on vectorization panic

quick bugfix for ss.Optimize()

ss.Optimize() would swap LemmaOne with empty string at Proximate; no longer

corner case bugfix and minor speedups

WithinXWordsSearch() would not check after a second match in the same line: e.g., a x x x a x b x x would not find a within 2 words of b since b was more than 2 words from the first a. Fixed that.

• IterativeProxWordsMatching() can handle N copies of "sought"
• ss.SearchQuickestFirst() to rewrite the search if it can likely go faster with a changed order of execution

more infrastructure edits

Not much for users to see/do

• config-able vector graph sizes
• PathInfoHub()
• SearchInfoKeeper()
• less memory intensive selftestsuite()

[looks like v1.2.12 was just a tag and not a release: oops]

misc: fonts; memory footprint; remote security

a grab bag; nothing big/vital

• shrink memory footprint (some outstanding issues)
• update default.pgo
• police responses to block remote scanners
• build in Roboto and Fira fonts

back to school special (various minor behind the scenes changes)

1. -rl flag and ReLoadDBfolder()
2. get rid of -ac and -cf flags
3. -cs flag us load custom CSS
4. update NotoSans and jQuery

another panic fix

This one is more obscure: -ex flag code route was calling vectordbreset() and inducing a panic...

quick bugfix for 1.2.8

vector reset bug showed up to panic non-mac systems: small fixes with big consequences

RtSelectionClear() bugfix + a variety of small changes behind the scenes

RtSelectionClear() sometimes dropped the wrong item via a JS click. JS labels are now md5sums, not "01", "02", etc.
some other trivial tweaks accumulated over the past few months too