git repository for extjs to be used as a git-submodule in projects