Renamed HaikuDepot's home to haikudepot.

* This closes #10699. I mentioned that to stippi after his first commit
of HaikuDepot, anyway :-)