Fix empty line in algo full LUniv
Merge remote-tracking branch 'bruno/feature/paper'
Fix error in sect 2
Improved paragraph about LUniv compression
Fix vocabulary
Fix error about scala's Set complexity
Some more fixes
Fix hbox and such

I chaged "lined" to "vlined" for the full algorithm. It's ugly but it
isn't too large for the page. With "lined" it was 8.5pt too large. If
possible, it would be better to revert this change.
Removed margin comments
Spell checker
Merge commit 'd93990cd2d525932308738526341b832569d7ffd' into feature/paper

* commit 'd93990cd2d525932308738526341b832569d7ffd':
  Spell checker
  Removed margin comments
  Fix hbox and such
  Some more fixes
  Fix error about scala's Set complexity
  Fix vocabulary
  Improved paragraph about LUniv compression
  Fix error in sect 2
  Fix empty line in algo full LUniv