Formatting fix - shorten getters and setters in AgentStats
Store and display remaining stats to/from DB

* Populate all remaining stats to DB when OCR is complete
* Read stats from DB on standard app launch, and populate all fields
  with latest stats.

* Fixed String->number parsing so it works for all stats.
  TODO: Need to improve what happens when no number at all is
  recognized in the text returned for the stat.  Right now "-1" is
  returned.
Display stats from database formatted as numbers with separators.

* Display the stats with the hundreds place, thousands place, etc
  separator inserted.  Locale is taken into account.
Close db on pause, reopen on resume
Add note about the ingress font - Coda