Coveralls badge checks develop branch [ci skip]

Signed-off-by: Tommaso Visconti <tommaso.visconti@gmail.com>