Race detector slide updates

 * Add intro section on what a data race is
 * Add links to std lib bugs found by detector
Expand section on shadow memory implementation