Bug 72: enable travis ci in github