Upgrade to latest JDoctest pre-release.

This allows doctests to query protected and private Java fields, which
allows us to simplify the `FormationListJS` work-around we had been
using.  Use the same `ContextFactory` in `PMSD` in order to allow
the same ability from within PMSD (needed to access `FormationList`).
Clean up unused imports.
Fix GeneralFormationMatcher when run on Formations with unselected dancers.
Improve definition of zoom.

I'm working on a branch that breathes a whole lot less during call
evaluation, and it turned up some problematic positioning here.