Android: Added "Toggle keyboard" menu option.