Preferences file, Environment variables

This release adds support for environment variables to set proxy or media format preferences. Also a preference file that allows setting these along with configuring player programs for different media types. The '-P auto' option is added to allow automatically selecting a player from those configured in the preferences file.