safely reboot

modified to properly reboot (e.g., to unmount filesystem)