keys.scala, etc.: Make merging public keys have a progress bar.

And some other light fixing.

It works a bit more, so that's probably progress.

The work!  The progress!

Mostly autogenerating string resources.

Some more infrastructure.  Maybe other things.

Wow, is that a proper Android build system?

Integrate the TrIPE server into the Java edifice.

And probably other things too.  We're still in broad brushstrokes mode
here.

More progress.  More work.

More work in progress.

progress.scala: Miscellaneous WIP.

admin.scala: Make `Connection' be its own publisher type.

Makefile: Make the Scala compiler more petty.

But I'm not giving up my odd habit of putting everything in package
objects.

Overhaul the build machinery.

Makefile: Move all artifacts into a subdirectory.

rough work in progress; may not build

shake it all up

wip

admin.scala: Start on understanding the administration protocol.

.gitignore: Ignore built files.

Makefile: Drop the classfile outputs down a level.

Now, if we add other paths, they'll all be together and we won't spread
weirdness all over the toplevel.

Makefile: Move cleanup of the class files near the compiler rules.

Makefile: Don't leave class-file placement to the `FOOFLAGS' variables.

They can (and should) be overridden by users.  But changing the output
arrangements will break the build system's assumptions.

Makefile: Use the `fsc' Scala compiler instead, because it's less slow.

Makefile: Use a less-specific symlink to find Java headers.

Initial commit.