Use catalog file instead of boxfile so users can use vagrant box update

Or they can revert to an older version to perform regression testing