Added katumi to run tintin++, ignored tokens.tin