added NuSMV model for project 2
fixed indentation and re-added own test case
added draft report on NuSMV part
moved project -> project1
added small example of debugging with DEFINE
step 1 : simple walking (including failure)
completed remaining basic parts
added support for Heavy Doors
fixed make target
added partial sessions 06, 07
final solution for no keys
indent fix
added verifications and generation
added some output headers
fixed also closing heavy door causes resting
added check on existing resting time
added report part on IDP
added proof of invariant
added draft experience on IDP
fixed long equation to allow splitting over pages