minor: set the api level to 17
changed the min widget size to 40dp as the 72dp are bigger than one cell
according to
https://developer.android.com/guide/practices/ui_guidelines/widget_design.html
some timing measurment in the logging added
(accidentally committed this before with "minor: set the api level to
17")
Reduced digits to 4, rounding nicely dynamically for the price range $1
to $9999.
Put networking code into AsyncTasks. (developer options -> strict mode
enabled helps find these "random" crashes)