Write Section 7.8 Well-Founded Recursion

[spl]

Just leaving this issue here as a reminder for the TODO in the text (from aaa36e6 on Dec 30, 2014).

[avigad]

Again, thanks. We can do well-founded recursions by hand (see, for example, library/data/nat/div), but we still do not have a friendly user front end.