work on logic specification
start with logic description of Bitwalker
Merge pull request #11 from carand/master

core specifications of the struct functions
renaming of files
improve introduction
add files for intro and abstract
add some comments and page breaks
fix error in description of valid bit sequence
integrate informal spec from VnV user story
switch to report style
cleanup in tex file
fixed section bitwalker_init