tex-ebproof{,-doc}: update to 2.1.1

This is mostly a bugfix release which ensures compatibility
with the new LaTeX release.

It also makes the `prooftree` environment robust in tabular
contexts and provides a new statement `\overlay` that can
be useful in slideshows.

(markd)