Re-enable Travis CI notifications to soci-devel