Fix vagrant settings and add .vagrant/ to .gitignore
Continue work on WebGL rendering of the arm.