Added texy submodule