2.0.0: compatible with the jcgm-to-svg extension

This release does not include functional changes, but API changes.
It exposes some public methods so they are accessible by the new jcgm-to-svg extension.