making instructions for docker and boot2docker more concise