Adding IFJ as submodule