str/bytes mult int
`"a" * 3` and `b"a" * 3` are very common in generating data, and formatting such as generating indents.

`[1] * 3` and `(1, )` also work.

Currently this is blocked in the underlying py2many visit_BinOp.  That needs fixing.

Then there are three paths forward.
1. Many uses of this are with constants, in which case py2many could internally expand the constant.
2. For variable strings with a small constant multiplier, py2many could alter it do perform the multiplication using several additions
3. Each transpiler needs to figure out the appropriate representation for more complicated usage.