Add section about customising vagrant options