tools/graph2dot: use larger data types than int for array/string sizes