Formalize the concept of "formatting round"

[70ray]

At present the "is_formatting_round()" function relies on the initial letter of the round id. Also the pi tools are defined explicitly for each round although there are only two options.

Instead introduce a boolean property "formatting" of Round and use it for the "is_formatting_round()" function and to select the pi_tools.