I can't use HttpHelper to make requests for Travis API

[jvcoutinho]

Problem
Currently, I can't use HttpHelper class for TravisAPI requests, having to implement my own requestor.

miningframework/src/services/S3MHandlersAnalysis/util/BuildRequester.groovy

Lines 57 to 74 in 36b464a

	static String getBuildAttribute(Project project, String attribute, String branchName) {
	String url = "https://api.travis-ci.com/repo/${projectOwnerName}%2F${project.getName()}/branch/${branchName}"
	HttpURLConnection connection = new URL(url).openConnection() as HttpURLConnection
	connection.setRequestProperty("Travis-API-Version", "3")
	connection.setRequestProperty("Authorization", "token ${travisAPIToken}")
	if (connection.getResponseCode() != 200) {
	Thread.sleep(3000) // sleep for some seconds and try again
	return getBuildAttribute(project, attribute, branchName)
	}
	def last_build = HttpHelper.responseToJSON(connection.getInputStream())['last_build']
	if (last_build == null) {
	Thread.sleep(3000) // sleep for some seconds and try again
	return getBuildAttribute(project, attribute, branchName)
	}
	return last_build[attribute]
	}

Cause
The requisition needs the field "Travis-API-Version" in the header and HttpHelper doesn't allow me to include it.

miningframework/src/main/util/HttpHelper.groovy

Lines 37 to 62 in c8e5601

	public static HttpURLConnection requestToApi(String url, String method, String token) {
	try {
	def request = new URL(url).openConnection();
	if (token.length() > 0) {
	request.setRequestProperty("Authorization", getAuthorizationHeader(token))
	}
	request.setRequestMethod(method)
	return request
	} catch (IOException e) {
	throw new HttpException("Error sending the HTTP request")
	} catch (UnknownHostException e) {
	throw new HttpException("Unable to find request Host")
	}
	}
	public static HttpURLConnection requestToApi(String url, String method) {
	try {
	def request = new URL(url).openConnection();
	request.setRequestMethod(method)
	return request
	} catch (IOException e) {
	throw new HttpException("Error sending the HTTP request")
	} catch (UnknownHostException e) {
	throw new HttpException("Unable to find request Host")
	}
	}

Suggestion
Include an additional map parameter to requestToApi methods.