Minor polishing in doc-file for bossLib.by.
Implement new suffices_by tactic in BasicProvers and bossLib.

Closes #116.