Add drake, itpp, valabind
Add ksh; fix order mistake