added hotkeys for wml menu items, step1 (changes in game_events.cpp missing)
added hotkeys for wml menu items step2
adding wml menu hotkeys: used use_hotkey=no/only instead of no_hotkey=yes in wml and fixed a bug
correction of a comment
removed ignore_filter_on_hotkey in game_events.cpp
removed ignore_filter_on_hotkey in gamestatus.cpp
removed ignore_filter_on_hotkey in play_controller.cpp
removed ignore_filter_on_hotkey in gamestatus.hpp
Update gamestatus.cpp

changed wml_menu_item constructor, to fit the code in wmi_container::to_config.
Update game_events.cpp
Merge pull request #58 from gfgtdf/master
Expose WMI ID and use it
Reference WMI by the ID, not the name
Remove useless typedef
Add WMI hotkey testcases
Make the hotkey-related WMI fields private, provide read-only accessors
Reverse some broken logic
Allow warnings in desktop_util.cpp.

The code uses some macros that can result in old-style or useless casts.
Don't use an implicit cast to bool.

This fails to compile using C++11, since boost::shared_ptr there has an
explicit operator bool.
SotBE: delete an unused death event

It used a non-existent unit type.