tree 103db43005c876f6ca60c38c28c1ffb6fcd23407
parent 01796fad29d6708ee983102ff7f98cec938180b5
author Sean Dague <sean@dague.net> 1406830809 -0700
committer Sean Dague <sean@dague.net> 1407274656 -0400

remove tools/jenkins

The last non bashate change in this directory was from 2012, which
means I assume nothing down here is useful any more as this is largely
the precursor to devstack-gate.

Remove it for cleanliness reasons and to not confuse people setting
up 3rd party ci.

Change-Id: I54f06c2ff5a49a9f811df07a7cdfda4a675953c8