add .box extension to vagrant output

Signed-off-by: Prasanna Santhanam <tsp@apache.org>