Vagrant files for TinyOS development