Made Autodist work without the autodist.conf file.

In addition of not needing autodist.conf ther DISTDEFS variable
in the configuration file is now optional.  If it doesn't exist
the distdefs file is not created.

Also the 'default' distribution doesn't have to define and distdefs
anymore to still be valid distribution.