Adding a bit more context to the specification file section.
Removing the bin directory from the gitignore.
Adding the TCAS excerpt example from the SemFix paper as a small example to work with.