backend/config: catch NoSectionError exceptions as well as NoOptionError

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Add a script to compute various statistics regarding documents

Signed-off-by: Jerome Flesch <jflesch@gmail.com>