Making `str * int` multiply the string

[Toma400]

Just as in Python sugar syntax, it'd allow us for equivalent of this proc:

proc `*`* (s: string, i: SomeInteger): string =
  for _ in 1..i:
    result.add(s)