'The Barber of Little Rock' (2023), nominated in the Documentary Short category at the 96th Academy Awards, is a hopeful presentation of a great subject, Arlo Washington. Review by Joseph Wade.