Shutdown agents on exit; fixes #94