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