adding GDB ARM travis-ci post