remove deprecated mirror builders for android, jrebel, jslint >> master