Added slides for theory/groups/compilation flags/overlapping matches/non-greedy matching; added image file for finite automaton; changed theme to SOLARIZED; changed slide transition to LINEAR