Subscription widget subscribers total placeholder

Replaces “%d” in the subscription widget’s text with the total number
of subscribers to the site to allow showing this number without using
the predefined text.
This change can be documented or as a hidden option. Some nice UI in the widget edit window might be nice, but this is a start.
If this makes it in, removing the current option to insert the current number of subscribers should be considered.