Rename HealthMonitor component to AliveMonitor#206

NicolasFussberger merged 2 commits into

eclipse-score:maineclipse-score/lifecycle:mainfrom

PetarResetarRTRK:issue-138-rename-healthmonitor-to-alivemonitorPetarResetarRTRK/lifecycle:issue-138-rename-healthmonitor-to-alivemonitorCopy head branch name to clipboard