In repos_config, allow giving a git_url instead of a directory path

The git url will be cloned automatically (if target directory does not
exist), or pulled automatically.
Filter what user infos we keep from ldap
README: Add some spaces in configuration options list
Dump repos db in a yaml file when running glrun