a simple javascript minifier