Fix header in dump-tso
Add final presentation
Expose variables Makefile_local