Add Symbolset as submodule.