Updated core-lib

Signed-off-by: Stefan Marr <git@stefan-marr.de>
Complete instructions and include automatic update of git submodule in makefile

Signed-off-by: Stefan Marr <git@stefan-marr.de>
Added missing dependency on core-lib

Signed-off-by: Stefan Marr <git@stefan-marr.de>
Remove #if* and loop specializations that are not essential for semantics

Signed-off-by: Stefan Marr <git@stefan-marr.de>