Remove obsolete settings

The box_name, box_uri and puppet_debug configuration settings are no
longer used in Vagrantfile or supported by the mediawiki-vagrant plugin.

Bug: 67867
Change-Id: I3d4aaaff527553c189a36033c4e22069125436d3