Jackiw-Teitelboim supergravity, minimal strings, and matrix models