Use 64-bit Ubuntu Precise basebox; tidy instructions
Merge pull request #1 from stennie/64bit

 Use 64-bit Ubuntu Precise basebox; tidy instructions