Shattered Void: 0.9.16.1.0 Better naming of the bots

General changes All mobs now have their own names and ranks (related to type or level) to improve the initial impressions of the game and its "atmosphere", in contrast to when almost all mobs in the game were called "Pa…