some progress in Makefile
add flags for preprocessor to no avail
some progress with eacsl options
some progress with acsl
update pdf file
regenerate pdf on OSX

(no warning about multiply defined labels)
Merge branch 'master' of github.com:jensgerlach/validation into jensgerlach-master

Conflicts:
	Reports/D4.2/D4.2.2-VV-Implementation/D4.2.2.pdf
Merge branch 'jensgerlach-master'
regenerate pdf