[ASTReader] Add a convenience function to retrieve all the input files of a module file.