1.9.3

• improved/extended progress reporting
  • applies when running the indexer with --progress
• Python tools now accept already existing directory when creating one