many fixes

- use lstlistings instead of verbatim
- tabular's fixes
- use noindent where necessary...