Add devel branch to travis configuration