added tintin-stdlib as submodule