add note about Bill Dwyer's description of the algorithm
add rabin_write, example callback, and test_write