A platform for creating tablet/HTML5 virtual-keyboard apps to send keystrokes to remote X11