Tools: Dividers

There are multiple forms of this sort of tool:


 * basic dividers which allow one to set and step off repetitive distances
 * proportional dividers which may be used to transfer the proportion of a measurement
 * angle dividers which allow one to divide a measured angle into equal parts --- c.f., center finder