Automatically tag docker images for commits to the devel branch with 'devel'