‘That Laugh Is a Drug.’ HBO’s New Documentary Explores Robin Williams’ Relationship to Comedy and Addiction