Renamed the VAX860 simulator to VAX8600, and used the VAX system model names for all simulators