sphinx extension that converts svg graphics files
