keys.scala, etc.: Make merging public keys have a progress bar.
[tripe-android] / .skelrc
2018-05-31 Mark Woodingwip