update html GUI with knockoutjs