Add possiblity to refresh the push directory directly from contact list

Fixes #835. Fixes #859.

I reused some strings from the Preferences activity for two reasons:
  - duplicating them seemed wrong, I would rather go with renaming (and then using in both places)
  - that would mess up current tranlsations, and since we're probably shortly before the release of an update, that would be stupid