GDA-4249 gda launcher: kill processes in reverse order

* gda servers --start - works as before. It runs:
   1. log server
   2. name server
   3. event server
   4. object server

* gda servers --stop - kills processes, now in reverse order

* gda servers --restart - kills processes in reverse order, then starts them up
  (like --stop followed by --start)