No more vhtypeid enum

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