Merge remote-tracking branch 'origin/master' into init_auto

diff --cc src/compiler/abstract_compiler.nit
Simple merge

diff --cc src/interpreter/naive_interpreter.nit
Simple merge

diff --cc src/modelize/modelize_property.nit
Simple merge

diff --cc src/nitni/nitni_utilities.nit
Simple merge

diff --cc src/semantize/typing.nit
Simple merge