Teaked travis setup and added clover format to coverage generation