HBO Celebrates Ann Richards With 'All About Ann' So Here's a Quick History Crash Course