Android: Rename Settings to Preferences

As requested.