Travis is unreliably sometimes.

Integrating semaphore for CI again. Sometimes double suraksha will help
alot, like wearing double condoms.