tools: bin-to-source: Allow multiple input files for a single output-ditto
html-writer: Generate PNGs and CSS instead of inlining them