GitLab

This also simplifies the gdb client invokation by putting
the "file" command inside the gdb.setup file, instead of
using the command-line.

Change-Id: Iaa31dd2afaada8552db0b72baca91ecd16d6ff95