DOC: Userguide updated
ENH: Packet monitoring in tracelogs
FIX: Fixed message tracing
ENH: Logging end of receive
DOC: Installation in userguide finished
Documentation is generated by waf
ENH: New simulation
FIX: Added missing file
RE: Netview refactored
Merge branch 'newsim'
RE: CaVerif build upon Cailie's State
FIX: Fixed error messages for initial expressions of area and places
ENH: Show states in report
ENH: Intro screen updated
ENH: Conditional output edges
FIX: Scrolling in console
DOC: Start of 'Edges' section in userguide
ENH: New default simulation settings
FIX: Fixed documentation building
ENH: Controll sequences implemented