The Overture VDM Examples Packager