keys.scala, etc.: Make merging public keys have a progress bar.
[tripe-android] / app.scala
2018-06-28 Mark WoodingThe work! The progress!