Add benchmark tests for Three Motor fault tree from OpenFTA.
Update todo list after introduction of benchmarking tests.
Add file with recordings of running times for two fault trees.