[RFA 0/3] Convenience functions $_gdb_setting/$_gdb_int_setting

[Philippe Waroquiers]

As part of the discussion of 'show | set may-call-functions [on|off]',
Eli suggested to have a way to access the GDB settings from
user defined commands.

So, this patch series implements this.

2 functions are provided:
  * $_gdb_setting that gives access to all settings, giving back a string value.
  * $_gdb_int_setting, giving access to boolean, auto-boolean and integers.
    This is easier to use for such types than the string version.