Added coverage configure option and travis coverals script