Latex backend: Correctly set vspaces, eliminated overfull hbox warnings. Some settings are still in debug mode for the next tasks.

Remaining:
- elliminating a vspave between syntax and rule, in LatexBackend
- line breaking inside cells and rewrites