Lobsters: How to build a git diff driver