Make gdb's extra_config an array containing ./configure options

Change extra_config from a string to a array of options.

reporter_name="Yann E. MORIN"

reporter_url="http://ymorin.is-a-geek.org/dokuwiki/projects/crosstool"

reporter_comment=""