addProperties(String file...) to add fragments Jalview configuration

For the rare case when one might want to combine settings from several Jalview configuration files, a new method addProperties() should import one or more files in sequence without clearing the current configuration (unlike loadProperties(), which does clear any extant settings).