Add smoog.py.