No more vhtypeid enum

Second to last part of JSONizing vehicles - removing the vhtype_id enum. Vehicles are now identified by their names in vehicles.json.

The names are used both for IDs (unmodified) and for displayed names (after being gettext'd).