Patch: --enable-profiling

[Tom Tromey]

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

Eli> I would also suggest to use "maint profiling ON/OFF" as the
Eli> corresponding command, as I think it would be more intuitive than
Eli> "maint moncontrol".

Based on a conversation with Michael Snyder I already changed it to
"maint profile-gdb".

I've been thinking I might also allow "0" and "1" as arguments, as
other maint commands seem to do this.

Tom