A Java agent that gives every lambda expression a human-readable toString()