Gros, Karel, active 1852-1911, Mayor of Prague