Revise gallery_tools minifier to allow --no-minify and --no-copyright-header flags.
This makes it a more flexible processing tool.
Update ExtJS to 3.4.0.  Change scripts to use as-shipped minified JS components and copy CSS and images.
Merge pull request #9 from shadlaws/extjs_and_minify_update_20130307

Enhance minify script, revise ExtJS script, update ExtJS to 3.4.0.