Added travis script - hopefully it works...