Document refiners in Vole #68
Description
This is the only significant bit of documentation that's really missing from Vole.
To a large degree, this will require writing/finish proper documentation for refiners in the BacktrackKit and GraphBacktracking packages.