Edit int prefs

* Handles NumberFormatException when entering non-integer values for EditIntPreference (App no longer crashes on this!)
* 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