Merge. Comments about three technical reports about Ada programming added.
Merge branch 'feature/notes_about_references' into development
Initial commit of the master thesis report. Information about structure is
available in gh-10.

https://github.com/christofferholmstedt/dva501-master-thesis-report/issues/10
Added structure to the report.

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

Fixes gh-10.
Merge branch 'feature/report' into development
Updated space between paragraphs to fixed 3mm.
Added conclusion TODO comment about security.
Added introduction part about SPA, UNICA and VNP.
Finished first draft of the introduction.
Merge branch 'feature/report' into development

Fixes gh-5.
Updated Vagrant settings so I can compile the LaTeX files.

Latex packages are not up to date in Ubuntu 12.04 so this guest system
with Ubuntu 14.04 works better with new LaTeX features.