prelude is now a submodule
Merge branch 'prelude-submodule' into mahmoudimus