Autohide the dock

I'm not sure why I had this commented out before. But we certainly want
the dock autohiding for everyone.