Mostly grammar corrections.
Add citation; someone else can remove it if it's too much.
Expand Daikon section. (This adds a ton of citations; we can remove some
Various small edits, including improving consistency.
Draft of "example", "future", and "availability" sections for Daikon.
Fix spacing.
Remove an extraneous colon.
Make URL font consistent with rest of paper.