Follow-up fixes

Here are a few follow-up fixes for my code:
- invalidateOptionsMenu() should be callable on API 10 now
- Store the theme setting in a safe format (the resource IDs changed for me and I got crashes because the loaded ID pointed to a menu resource and thus theme attributes couldn't be resolved)
- Make sure refreshing actually triggers the loaders to load