Tool to read multiple files at once

Problem to solve

During a workflow / chat session multiple files are often read one-at-a-time.

This can be very slow

Proposed solution

We plan to add a read_files tool, to allow reading many files in one go.

This deprecates the old read_file tool, which we plan to remove once read_files is widely available.