tup build: use CONFIG_DEBUGGING_INFORMATION_* options
tup build: use CONFIG_DEBUGGING_INFORMATION_* options

Use CONFIG_DEBUGGING_INFORMATION_COMPILATION and
CONFIG_DEBUGGING_INFORMATION_LINKING options instead of hardcoding "-g
-ggdb3" and "-g".
CezaryGapinski/distortos,CezaryGapinski/distortos,CezaryGapinski/distortos,CezaryGapinski/distortos,jasmin-j/distortos,jasmin-j/distortos,jasmin-j/distortos,DISTORTEC/distortos,CezaryGapinski/distortos,DISTORTEC/distortos,DISTORTEC/distortos,jasmin-j/distortos,DISTORTEC/distortos,jasmin-j/distortos