some tools to minify web page content for raspberry pi zero