Statechart to code traceability for all but dispatcher done.  Also fixed drivecontrol indenting and fixed a typo in doorcontrol