The real final version of the binder documentation

This is the real one that we turned in, with the Django code in it.