Add rendering for leisure=sports_hall

[coolultra1]

With 18,5K usages, leisure=sports_hall, is way more common than some other leisure= tags being rendered. I truly see no reason to not at least render this the same as leisure=sports_centre.

[imagico]

This unfortunately suffers from rather poor documentation - the distinction between leisure=sports_hall and leisure=sports_centre is on the wiki tied to some vague and language specific centre character idea.

Because of that i would consider it advisable not to render it as a synonym for leisure=sports_centre and thereby add to the confusion but as a rendering variant of buildings (>90 percent of leisure=sports_hall have a building tag). This could be combined with a solution for #844, i.e. render both leisure=pitch and leisure=sports_hall with a sport specific design when tagged accordingly (nearly 50 percent of leisure=sports_hall have a sport=* tag).