svgedit.js: Add new round() function

This is somewhat more generic than the roundPos() function
and can handle an arbitrary precision.