Make ERROR_FRACTION_THRESHOLD a user-definable option.

Fixes #27.