tools for sencha ext.js & sencha touch