Updating .gitignore rules.
Adding Trace.v Coq script.