Hotkeys,Polishing,Menu-Entries

See https://github.com/SebastianNiemann/OnlineOptimisation/issues/31 for
hotkey details!
Signed-off-by: Wolff Bock von Wülfingen <wuelfingen@sra.uni-hannover.de>