Package message controls message printing.

Package remotes defines logic for the various types of remotes that vdm supports.

Package vdmspec defines the [Spec] and [Remote] struct types, and their associated methods.