Testing: split the single big doctest file into multiple files.

This makes the automated tests less dependent on one another, making
it easier to change them and add new ones.