Actually clean up Docker instances that lose contact