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