Script to trigger jenkins test

Summary: After you run `arc diff`, just run `build_tools/trigger_jenkins_test.sh` and Jenkins will test your diff!

Test Plan: Triggered a build to jenkins

Reviewers: sdong, rven, IslamAbdelRahman, anthony, yhchiang, meyering

Reviewed By: meyering

Subscribers: meyering, dhruba, leveldb

Differential Revision: https://reviews.facebook.net/D36021

build_tools/trigger_jenkins_test.sh

@@ -0,0 +1,19 @@
+#!/bin/bash
+# usage: 
+# * trigger_jenkins_test.sh -- without parameters, submits the current patch to Jenkins for testing
+# * trigger_jenkins_test.sh D12345 -- submits diff D12345
+if [[ $# == 0 ]]; then
+  diff=$(git log -1 --pretty=%b | perl -nle \
+      'm!^Differential Revision: https://reviews\.facebook\.net/(D\d+)$! and print $1')
+else
+  diff=$1
+fi
+
+diff_len=`expr length "$diff"`
+if [[ $diff_len < 6 ]] ; then
+  echo "I don't think your diff ID ($diff) is correct"
+  exit 1
+fi
+
+echo "Submitting build of diff $diff to Jenkins"
+curl "https://ci-builds.fb.com/view/rocksdb/job/rocksdb_diff_check/buildWithParameters?token=AUTH&DIFF=$diff"