mplotqueries: adjust marker sizes

Sometimes the dots are too big, and it would be nice to be able to adjust their
size interactively.