A tiny JavaScript and CSS file minifier