jenkins with tinyos extensions