nitg-s: Added stats output for compilation process

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg: added class AbstractCompiler to refactor nitg nitg-s nitg-se.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: removed generic tree option

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: removed OrderedSet replaced it by refinements in Array and HashSet

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: added model exploration facilities in redef MModule

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: replaced model queries from colorers by MModule queries

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: changed signature of colorize method to accept set of elements only

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: cleaned AbstractColoring::colorize method

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: element set is no more required at colorer initialization

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: changed module importation for module coloring

Coloring now imports typing. Importation of rapid_type_analysis is done by separate_compiler

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: moved type tables building from coloring to separate compiler

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: moved class tables building from coloring to separate erased compiler

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: inserted layout builder concept in coloring

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: replaced NaiveTypeColoring by BMTypeLayoutBuilder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: replaced TypeColoring by CLTypeLayoutBuilder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: replaced TypePerfectHashing by PHTypeLayoutBuilder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: merged typeids, type_colors and type_masks into type_layout

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: merged build_type_table and hash_type_table

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: organized and cleaned coloring module

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitg-s: introduced ancestor AbstractHasher for MTypeHasher

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>