Merge pull request #140 from mgudemann/master

small changes in VnV stories document
figures for report
listing styles
new commands
added packages
first version of fokus part
building the pdf works
Merge branch 'master' of https://github.com/openETCS/validation