changed travis badge to devel too