Added a setting whether /tmp should be erased on *soft* reboots (computer.shutdown(true)).
Beware: defaults to *false*, which is different from what it was up to now.