Farewell to Doc Martin, a throwback to gentle comedies and TV grumps