Externalize symbol picker options to resources

Having the symbol picker options in resources allows a change to be made for
a specific device, and even for a specific locale (change in overlay).

Ported from jellybean (was Change-Id: If39eafc7d0766d28ef6bee0ff61bf234a6654f38)

http://review.cyanogenmod.org/#/c/20626

Signed-off-by: Michael Bestas <mikeioannina@gmail.com>

Change-Id: I72ff6fab6b9c14f9761904fdcc6918784d790d4d