Built from rev. 3173

Changes:

* Improve list of players on game-config screen: draw larger and
  separated by a list divider

* Insist that at least one player be marked remote when game is set to
  be host -- and provide a dialog to do it.

* Get rid of "Save" buttons.  Now save happens automatically on
  dismissal via the Back button.  When you dismiss the Game config
  dialog, I check if the game you're configuring is in progress and if
  any of the changes you're making will invalidate it.  If so, I warn
  and give you a choice between resetting the game and discarding your
  changes.  This means there's no "revert" for accidental changes.
  But as far as I can tell that's the recommended way on Android.  As
  a practical matter there are no changes you can make here that
  wouldn't be easy to revert manually.  (This also means that Configure
  replaces both "New game" and "Game info" on other platforms.)

* Add icon showing relay status.  There's still a bug that it doesn't
  show up immediately or until you force the screen to redraw.  I'll
  fix this soon.

* Treat enter key the same as the center button on a five-way.  This
  makes navigation easier on devices like the Droid when the keyboard
  is open.

* Add a proper About box

* Get rid of the temporary font-quality setting stuff from last time.

* Improve how dictionaries are downloaded and stored (borrowing from
  OpenSudoku.)  I now store the dictionaries myself in Crosswords'
  private storage, not in the browser's Downloads directory.  And
  there's a new Dictionaries dialog you have to use to delete them
  (and that will later support a dictionary browser like DawgShow (for
  any of you from the PalmOS days.) 

* Detect when dictionaries on which games depend have been deleted,
  and refuse to open them, offering to download.  (It's a bug in
  Crosswords that I can't open a game even to change its dictionary
  without the old dictionary being present, but will be very hard to
  fix so I'm not trying now.)

* Increase size of text in mini-window, e.g. that you see when you
  hold your finger on a bonus square or a scoreboard entry.  There's
  still the problem that your finger hides a quarter of it.  I'm still
  thinking about how to handle this.  It's difficult....

* Remove Hex dictionary, leaving only the tiny BasEnglish one.  This
  is the best choice to keep the size of what people download down,
  but I've had problems on other platforms with new users deciding
  that Crosswords is stupid (has too small a vocabulary) before they
  understand that other dicts are available.  That should be less a
  problem on Android since they're easy to download.  And a large
  built-in English dict is particuarly useless for non-English
  players.  What do you think?

* fixed bugs
  - use player color for pending score
  - draw empty tray correctly when focussed
  - draw blank tiles correctly when being dragged, and as "?"
  - stop drawing tile at old location on board after drag starts
  - don't draw letters on focussed board tiles in white