Remove Docker Machine.

I haven't used it in ages and I don't see me using any time soon.