Added structure to the report.

Introduction
State of the Art
Method
Result
Conclusion
Appendix: Requirements
Appendix: System Design
Appendix: UPPAAL Models

Fixes gh-10.