Use Info statements instead of Print

[mtorpey]

In various places, AutoDoc uses Print to print status messages, with no way to silence these. Would it be possible to replace them with Info statements such as

Info(InfoAutoDoc, 3, "Extracting manual examples...");

so that they can be silenced when needed.

This would require a new info class like InfoAutoDoc, unless we just used InfoGAPDoc instead.

Is there a reason not to do this? If not, maybe I should make a PR. :)