Add add_string method to FiniteAutomata.
Add example script with intersection, union, and difference.