This version of the dragontools is rather restricted in its functionality.
See the readme of the source project at the JULIE Lab jcore-dependencies
GitHub repository for a few details (probably at
https://github.com/JULIELab/jcore-dependencies/tree/master/dragontool).
