notify additional recipients for devel jobs
Merge pull request #22 from ros-infrastructure/devel_notification

notify additional recipients for devel jobs