Creating a test directory and moving the sample traces yaml files to that directory.
Adding a few more sample traces for testing out the FaultLocalization script.
Adding more file format information to the README.
Updating the format of the specification files to be more well-formed YAML files.