Added repair bonus for multiple players

More than one player can now contribute to repairing a building.
Base repair amount is multiplied by value of array
Players who can't afford to contribute are ignored
Repair indicator cycles between each player's color.
Merge pull request #5768 from pchote/multirepair

Closes #3748