vagrant files for WeBWorK development