Jenkins: run ocaml_setup

--HG--
extra : amend_source : 5f7c19b527752c7b3910480f59c0ef874d912dea

centralized upper/lowercase name mangling

--HG--
extra : rebase_source : 9afb0b542ffd66bd6bcf3a4990fe5063573500be

optional case enforcement

--HG--
extra : rebase_source : 9cdeaf7fca2e9c8512cef2a7a8af271ea0daed50

clarified check of internal names;

tuned signature;

tuned errors;
more direct Name.uu_ for dummy abstractions;

tuned signature: Name.invent and Name.invent_names;

simplified Name.variant -- discontinued builtin fold_map;

discontinued Name.variant to emphasize that this is old-style / indirect;

tuned signature, disentangled dependencies;

renamed raw "explode" function to "raw_explode" to emphasize its meaning;

single quote is not a valid letter any more

desymbolize: use Symbol.decode directly;
recovered coding conventions of this file;

renamed NameSpace to Name_Space -- also to emphasize its subtle change in semantics;

desymbolization with case selection

Symbol.name_of and Name.desymbolize

Name.of_binding: proper full_name (with checks) before projecting base name;

Name.name_of -> Binding.base_name

cleaned up binding module and related code

new Binding module

dropped legacy naming code

name spaces and name bindings

Name.name_with_prefix (temporarily)

namify and name_decl combinators

diagnostic output for name bindings

explicit interpretation prefix in Name.binding

added qualified: string -> binding -> binding;

added type binding -- generic name bindings;

added uu, aT;

simplified '?' operator;

tuned;

renamed Name.give_names to Name.names and moved Name.alphanum to Symbol.alphanum

added give_names and alphanum

export make_context, is_declared;

do not export make_context;
initial context: declare empty names;
variants: no special treatment of empty names;

variants: special treatment of empty name;

clean: no special treatment of empty name;
declare, invent: clean arguments;

Names of basic logical entities (variables etc.).