updated project files
updated run
changes in simplifier and foundations

* added global and temp names
* better instruction prettifier
* better annotations
* first attempt to display
* prettify and dullify functions
* simplifier updates constructs with new temps
* simpler translation of operators
simplifier finished...
translator almost ready

* bug in locals for analyser
* displays
* HasName class
rebuild instructions and operations
nice instructions
adjusted translator to new instructions
no ssm files in repo
try to fill instructions
merge branch 'Instruction'

Conflicts:
	src/Language/SPL/Data/Instruction.hs – solved
typos
tex and bib to gitignore