updated to scala-2.12.3;

discontinued unused / untested distinction of separate PIDE modules;

clarified modules;

tuned headers;

more uniform Counter in ML and Scala;

tuned signature;

explicit module Document_ID as source of globally unique identifiers across ML/Scala;