Restore tools/gitiles-dev.launch

This was deleted in 22c45b3b, possibly because it didn't work in
earlier revisions of that change, but it is still useful.

Change-Id: Iaaf4e48cccb80fa9005fca5fdcabe0f678dd97df
1 file changed