Small TeX improvements

- replaced soul package by microtype package
- use bookmark package