Add parameter module_size to as_svg export

If parameter is omitted, the default of 11 will be used