update broccoli and broccoli-filter
change badge image format (PNG -> SVG)