Update .clabot

[coveralls]

Pull Request Test Coverage Report for Build 3853728016

• 0 of 0 changed or added relevant lines in 0 files are covered.
• 3 unchanged lines in 1 file lost coverage.
• Overall coverage increased (+0.6%) to 53.588%

---

Files with Coverage Reduction	New Missed Lines	%
src/EverCrypt_Curve25519.c	3	91.18%
<!--	Total:	3		-->

Totals
Change from base Build 3847214900:	0.6%
Covered Lines:	30653
Relevant Lines:	57201

---

💛 - Coveralls