updated parser for Nunchaku irrelevant output

use proper syntax with nunchaku tool

moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years

better duplicate detection

merged

adapted to better linear arith

more simp power and less incompleteness or arith

no fork of long-term test results: too complicated;

avoid depedency on FSet;

merged

introduced bst_wrt

less aggressive default position: prefer persistent defaults maintained by jEdit (amending 89c5bb2a2128);

tolerate more errors (cf. 1e5ae735e026);

tuned signature -- avoid warning during jEdit startup;

more thorough change of syntax style extender: jEdit.propertiesChanged invalidates buffer chunk cache;

updated for release;

Added tag Isabelle2017-RC1 for changeset 34b20f7236ea

proper URL;

VSCode extension for official Isabelle release;

auto update;

simplified README: this is for development version;

tuned;

tuned whitespace;

clarified startup sequence;

tuned signature;

more robust: provide docking framework via base plugin;

more robust;

tuned headers;

eliminated suspicious Unicode;

auto update;