add shortcuts for the new profiler actions in the gui * gui-preferences-sc.h: define preference keys and default shortcuts * main-window.cc (construct_menu_bar): construct_profile_menu renamed into construct_tools_menu; (construct_tools_menu): renamed from construct_profile_menu; (configure_shortcuts): add the shortcuts to the related actions; * main-window.h: renamed coonstruct_profile_menu into construct_tools_menu * shortcut-manager.cc (init_data): initialize the shortcuts with default data; (fill_treewidget): add section for tools menu

root = true

[*]
charset = utf-8
end_of_line = lf
indent_size = 2
indent_style = space
insert_final_newline = true

[*.{am,mk}]
indent_size = tab
indent_style = tab