Expand README with some explanation and an example.
Add an example of code that uses failing_allocs.
Update Makefile to build example.