Edit int prefs

* Prevents NumberFormatException when entering non-integer values for EditIntPreference
* Updates tests for default values and adds workaround for hex values in Robolectric
* Disables Android lint (broken in latest version of tools). Will re-enable once fixed.

https://code.google.com/p/android/issues/detail?id=72596