Text this: Morse theory and Witten's proof of the Morse inequalities