scripts/devscripts/proxy.py: ignore zero size files in cache

Jochen Sprickerhofrequested to merge
jspricke/devscripts:proxy_ignore_zero_size into main

Merge request reports