Unify capitalization of Botworld
Add references
Canonicalize the formatting

- Use the 'report' class.
- Restructure sections into chapters.
- Add MIRI information to the header.
- Add email addresses to the header.
- Finalize the publishing date.
- Make all \items indented.
Integrate Benja's edits to the introduction
Merge branch 'master' of github.com:Soares/botworld