updated coverall badge for devel branch