Removed Leda from travis builds