Small utility to shutdown or reboot a linux system when a specified process has ended