Android: Discrete text sizes rather than linear, new XXL size.

Fixing #474 and #392.  Our six font sizes are now independent of one another and individually configurable.  Added a sixth "XXL" font size for users who need an accessible size.

I picked five sizes that spanned the readable/sane range on my devices and an XXL that is very, very large.