Currently, there is no convenient way for the user to reboot DevENV at a desired time. While this doesn't interfere with the day-to-day operation of DevENV, it makes applying updates (e.g., changes in resource limits) difficult to coordinate. We should add an ability for the user to trigger reboot/recreation of the DevENV from within, and let this be the trigger to apply any pending updates to the work environment.