plume-lib version 1.1.2

Add a new plume-core.jar target, which is substantially smaller than plume.jar.

Many other bug fixes and minor enhancements, but no major new features.