Version 1.2.5 released

Add the list of children processes for a parent process returned by the ProcessManager
Allow to kill a process and its children processes recursively in the ProcessManager
Allow to get the upstart time of a process.
Allow to get the map of processes sorted by their upstart time