Supervisor: signals declaration.
StochasticSupervisor: refactoring + integration with Supervisor's signals.
Supervisor refactoring.
ThreadedSupervisor integration with Supervisor.