Added coveralls badges to devel