sophia: add gdb to travis-ci build