Add multi-message select and delete

As requested in #786

This is my first non-trivial work on an Android app. I mostly imitated what already existed. It will probably require some tuning. I’ll comment on some specific code where I have questions.