Documentation: provide (more) references to the GAP manual

[fingolfin]

It would be probably be helpful if the manual referenced section "7.7 Profiling" of the GAP reference manual, and explained how what it does relates to that.