add two preliminary targets for E-ACSL
redraw figure of byte and bit indices
remove old figure
article style
prevent line break in figure
remove graffle from user story
convert bit sequence figure to omnigraffle
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'