SohnyBohny

Any news?

Also colored output (like CoqIDE) would be nice :rainbow:

On my 3T logcat says: ``` 09-01 17:40:49.482: W/tango_camera_native_jni(13301): Camera system initilized. 09-01 17:40:49.482: E/tango_camera_native(13301): 2 is not a valid camera index. 09-01 17:40:49.482: E/tango_camera_native(13301): 3 is not a valid...

I'm also interested :+1: @feus4177 please look into it :smile:

@javajenks did [some work](https://github.com/javajenks/socketIO-client-2/commit/689fe22ba1d09b41e502229b581274a86add2caf) on that I have no clue whether this fixes any/all problems