added a SRI example to the tutorial
added docs for sender/receiver
fixed minor issue in requirements lang
Merge branch 'master' of github.com:mbeddr/mbeddr.core
line wrapping for requirements
cleanup
adding analysis configuration
the testcode
another file
added surround intentions for filters
small fix
enriching saving of analyses results in HTML with information about counterexample and about the analysis scope
small extension for lifting the counterexample
Merge remote-tracking branch 'origin/master'
Merge branch 'master' into debuggerTesting