Travis updates on Github

[Sachin Goel]

Hi all
Is there some issue with travis integration? The last three pull requests
do not have their build status on Github page. The builds are getting
triggered though.

Regards
Sachin
-- Sachin Goel
Computer Science, IIT Delhi
m. +91-9871457685