File gluon/tools.pyc from the latest check-in

(file is 123140 bytes of binary data)