shell: spawn shells without history

We do not wish for 9pm execute commands to be stored in our shell
history files. Simply set the environment variable HISTFILE to /dev/null
before we spawn a shell.