Splitting files in coq-semantics and supporting Thunks and map environments (of some form)

With these, we now generate rules for Fix, Let and Vars correctly. Ifz, App and Fun still to go.
All cases done. Still need to fix rule names, however.
Trying to make sure all names are unique.

You can still mess this up by defining rules with numbers at the end, but I’m not going to cover that yet.
Updating to reflect the currently used names in PCF.

There should be a better way to represent this in ds that I could generate them automatically.
Fixing the constructor name used for composing environments in the coq model.
Comment out outline and constraint strategy which references constructors that are not declared in DynSem
Add updated generated file
Updating the Coq representation and removing old files.
Using a brand new concrete syntax format for Coq.
Merge commit '2801d07' into merge
Merge commit 'ecf99b5' into merge

Conflicts:
	build.main.xml
	trans/coq-semantics/main.str
	trans/dstocoq.str
Merge commit 'afb2a5c' into merge-2

Conflicts:
	dynsem/trans/coq-semantics/Coq.str
	dynsem/trans/coq-semantics/Gallina.pp.generated.str
	dynsem/trans/coq-semantics/Lexical.pp.generated.str
	dynsem/trans/coq-semantics/Qid.pp.generated.str
	dynsem/trans/coq-semantics/Vernacular.pp.generated.str
Merge commit '2d09f48' into merge-2
Merge commit '9e83b04be217a69e9d2cd16bc8ef38689a03c6cb' into merge-2

* commit '9e83b04be217a69e9d2cd16bc8ef38689a03c6cb':
  Support for variable as @: var@Term
  Syntactic and type system support for wildcards
  Avoid double field getter call
  Remove unused
  Improve toString function for NodeList
  Factor boolean constant out of the RHS
  Remove debugging output. Confirm performance increase (2-3 fold) by lazily specializing ATerms.
  Prevent specialization of children after the 1st time.
  Generate code that does lazy specialization.
  Generate an abstract NoOpNode that contains all execution methods stubs. No longer implement all execution methods in every node.
  Disable outline strategy
  Generate to 'src-gen' folder
  Update generated files
  Add custom exception on interpreter exit
  Update to latest generated files
  NodeList implements Iterable
  Support for native constructors. These are constructors that are used in reductions but nothing is generated for them.

Conflicts:
	dynsem/build.main.xml
Commit Stratego-Coq signatures + git ignores
WIP
Removing old coq-semantics files and disabling them for now.
Removing Lexical.sdf.
Moving to the new src-gen/pp directory style.
Update syntax to symbol sorts