Documentation: add brief section about DivingLog export

Fixes #63

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>