Set the default provider to virtualbox
Move to using precise32. Closes #14