Implemented bonus for multiple players repairing #3748

See commit description
I don't really like these numbers, and they don't follow a smooth curve either.