keys.scala, etc.: Make merging public keys have a progress bar.
-rw-r--r-- 60 .gitignore
-rw-r--r-- 27 .links
-rw-r--r-- 234 .skelrc
-rw-r--r-- 716 AndroidManifest.xml
-rw-r--r-- 18945 Makefile
-rw-r--r-- 9066 admin.scala
-rw-r--r-- 4140 app.scala
-rw-r--r-- 13655 dep.scala
-rw-r--r-- 42469 jni.c
-rw-r--r-- 20374 keys.scala
-rw-r--r-- 627 main.scala
-rw-r--r-- 11050 peers.scala
-rw-r--r-- 3715 progress.scala
drwxr-xr-x - res
-rw-r--r-- 31940 sys.scala
-rw-r--r-- 14245 tar.scala
-rw-r--r-- 5331 terminal.scala
-rw-r--r-- 800 toy-activity.scala
-rw-r--r-- 24118 util.scala