Finally done with Travis-CI. Added badge.