5.3.1: put *executable-types* into config file

So it can at least be modified by more experienced users.

Also, the main server and configuration now share the definitions of
all configuration variables.  They're in config-defs.cl.

Renamed loadem.cl to load.cl (since load.cl is sort of a standard
name for loading a project).