Re-added IRlib submodule info