Switch Vagrant to lucid32 and install grub fixes (./diskimage.sh)
Add SDK binaries to .gitignore