64bit tcl merged PR

boot2docker#854

64 bit boot2docker iso

it works, and now we need testing to make sure its all good.

Its working for me using both the Boot2Docker cli and from Docker machine

see boot2docker#854

this release was made at boot2docker#854 (comment)

make ip accessible earlier

see boot2docker#854 (comment)