Add option to print summation bounds explicitly
Add option to print summation bounds explicitly

With this option, when concrete summations over ranges with explicit
bounds can be printed with the bounds given in the summation sign,
rather than a symbolic summation over a range denoted by a single
letter.

tschijnmo/drudge,tschijnmo/drudge,tschijnmo/drudge