Adding cider as a submodule