Added coverage configure option and travis coveralss script