Add documentation on how Krill behaves internally.

[partim]

It often would be helpful to understand why Krill does certain things. For instance, when does it aggregate ROAs and when does it keep individual ROAs for each prefix? This should be part of the reference section of the manual.