more improvements on intro to section on formal verification
fix multiply defined labels
start using report style (which seems pretty broken)
Merge pull request #201 from jensgerlach/master

improvements and switch to report class