Full screen keyboard short-cut

In !322 (merged) full screen toggling was introduced. It seems like F11 is a common enough shortcut key to use.