Make IDE use native modifiers for shortcuts

Currently, why3 IDE uses Ctrl exclusively for shortcuts across all platforms. This is troubling for mac users who use Command as their primary modifier. Supposedly, Gtk has a macro GDK_MODIFIER_INTENT_PRIMARY_ACCELERATOR for this purpose but it seems like lablgtk does not expose it's value.