Replace occurences of package.box with ${BOX}.box

In case the user creates and manages different vagrant base boxes,
it is good practise to identify them with a unique name (here: debian-wheezy-64.box based on the value of $BOX )
It does not make the use of the script more complicated for normal users, but will simplify life for power users.