Updating spec to test for new provider
Required boxen version
Change provider to bypass EULA on dmg. Fixes #2