Tweak graphics/ipe version 7.1.4
Prune www/mod_rivet
Prune astro/merkaartor