Improved karmaid.js by using Knockout.js

Now KO.js is not used only on button.js.
It's so useful and comfy, so you should use this proactively.