[ibus-typing-booster] miketmp-debug: add sys.stderr.write("mike ..." debug messages) (e9217fe)