sourcescannermain.py: Add --filelist option