Minify images

Raster images were losslessly recompressed.

SVGs were cleaned up using svgo with pretty print enabled. Indentation and line endings results an overhead (not so much when gzipped), but it would give sane human-readable git-diffs. Cleaned SVGs are still smaller than original ones, though.