add prelude as git submodule