adding devel branch to Travis build