Please shut down stenodon

stenodon hosts webstats.torproject.org which "hasn't been working since June and no one has noticed or care", says phobos on #6196 (moved). I agree with him that we should shut it down, including:

• stopping all cronjobs copying weblogs to stenodon and
• shutting down and removing the virtual machine.

Thanks!