savegame3.c: Drop ai_level_convert() use
AI level specenum related functionality (incl. level name) has existed for a very long time (since 2007). It would be very surprising if even the earliest savegame3 saves still had skill level saved as integer (needs to be confirmed, naturally). Thus the compatibility for that should be cleaned out from savegame3.c.