android: Add gitlab remote

* Useful for private repos

Change-Id: I67017f06791af5248d3898d44cefd38be5e8aea2
diff --git a/default.xml b/default.xml
index 6382ec2..7fa7f2d 100644
--- a/default.xml
+++ b/default.xml
@@ -8,6 +8,9 @@
   <remote  name="private"
            fetch="ssh://git@github.com" />
 
+  <remote  name="gitlab"
+           fetch="ssh://git@gitlab.com" />
+
   <remote  name="aosp"
            fetch="https://android.googlesource.com"
            review="android-review.googlesource.com"