remove map::traps vector and use g->traps instead
remove is_tiny, make mapsize a constructor paramter instead
remove pointless virtual modifier from map::load/save
Move game::traps to trap.h and rename to traplist

trap_id_from_string does not exist so its definition has been removed
Making more map editor strings translatable
Small skill manipulation menu text cleanup
Show skill names in skill manipulation menu, rather than the ident names
Show display names of vehicles in vehicle wish menu

along with internal names
Map editor: Trap list also shows display name

, along with internal name. If display name is missing, only internal name is shown
Fix broken vehicle wish menu

Vehicle wish menu spawned no vehicle at all anymore.
Add NEXT_TAB/PREV_TAB to keybindings for use in dialog tabs.

add tabulator to input managers keybindings
Use input_context in worldfactory::show_worldgen_tab_options
Use input_context in worldfactory::pick_world
Use input_context in worldfactory::show_worldgen_tab_modselection
use input_context in worldfactory::show_worldgen_tab_confirm
Merge trap list refactor.

Conflicts:
	src/map.cpp
Merge translatable debug menus.

Conflicts:
	src/editmap.cpp
Merge integration of input_manager with worldfactory.