explore: add --db-file option and db-results command#2

guillon wants to merge 1 commit intoxtc-tools:mainxtc-tools/xtc:mainfrom

guillon:dev/cguillon/db-resultsguillon/xtc:dev/cguillon/db-resultsCopy head branch name to clipboard