This commit refactors the common pattern `bracket init deinit use` in
`withNotifications` in `drivers.hspec.Main`, so that `withNotifications`
in atomic and the user doesn't incur in the pattern of using the init
and deinit functions independently from the `bracket`.

To be faithful about what I preach, we should do the same for
`startCoreNLPServer` and `stopCoreNLPServer`.