update-database: parse repository.extra-repos key

Not sure if this shows a nice result. update-database.py is quite slow via a mobile network.

NOTE: this breaks with the used config.ini format.