Rename the random campaign cave group
Let only humans leave smell for now, again
Make gold more common on initial levels
Don't write to high scores files if --benchmark
Do save game if UI player requests it, even with --benchmark
Rename writing savefiles to get rid of the obsolete 'save backup'
Let the UI and AI client share leader's target
Don't displace a blocking leader
Follow the leader by setting TEnemy, not TPoint
Fix smellers chasing arbitrarily old smells
Don't score based on loot if no level has any loot
Extend the semantics of positions to fix wrong leader targets
Shorten high score record texts to accomodate longer party names
Update the scores file due to a changed format