The Kervaire Invariant One Problem (after Hill, Hopkins and Ravenel)