This is an adaptation of Georg's generate_symbols_images script, but it uses dvisvgm instead of dvipng.