Documentation on Docker Mac OS X bringup and minor Docker file fix.