Zom Android 15.1.0-beta-1

984c228 tweak rendering of swipe for archive/unarchive
17c324f tuning the archive/unarchive view and actions
323eec0 major improvements to archiving in the UI and data persistence
b92dc78 update strings and menu options for archive and migration
b27edfb add new icons for migration and filtering
89d1f02 make it possible to search for archived contacts
498acc6 more fixes for contact archiving #249
e946fd8 implement basic archiving of contacts for #249