try to use /system/xbin/bash instead of /system/bin/sh if present
swapped shift and fn indicators to make them like the ones in the android framework
TerminalKeyListener: add comment about android's improperuse of send \r instead of \n
TerminalKeyListener: replace hardcoded modifier key values with appropriate constants
TerminalKeyListener: remove unneeded TAB key fix

this isn't needed anymor since getUnicodeChar() is used now
English: change 'username' to 'user' in format hint to prevent line wrapping
use 'KEYCODE_FOCUS' as camera key
URL Scan: Reduce text size and row height
URL Scan: Don't add duplicate URLs to list
kill shell process on (unclean) disconnect to prevent process and thread leaks
fix HashMap.remove() usage for remote port forwardings

remove() needs to get the key as parameter, not the value

This resulted in a bug where remote forwards could not be enabled in
the port forward manager
Allow specification of bind_address for port forwards

The previous behaviour was inconsistent:
For local and dynamic forwards the bind_address was set to localhost.
For remote forwards it was set to "", which means all interfaces / 0.0.0.0.
This could unintentionally expose the forwarded remote port to the outside,
in case GatewayPorts was enabled on the server side.

The bind_address is now fully customizable in the port forward dialog,
with "localhost" as default value for all new forwards.
fix acoustic bell preference

TerminalManager always enabled the bell media player in onCreate()
without checking the preference state
different horizontal swipe actions for upper and lower half
ConsoleActivity: move the ctrl/esc/sym/keyboard menu entries to the end of the menu

On devices without action bar, they are added to the regular menu.
But they shouldn't be added in front of disconnect / copy / paste / ...
HostList: use 2-level sorting and ignore case
Host Preferences: Hide preferences which are irrelevant for the protocol

This makes the host preferences less cluttered and confusing.
merge failure, tryScrollVibrate no longer exists
Improves accessibility by causing AccessibilityEvents to be fired after console changes occur.
Fixing formatting issues.