Options file
Copyright (c) 2005, Julian Tschannen
Eiffel Forum License v2 (see forum.txt)
-- Initialise options from a_filename.
-- Options directory name
-- Options filename
-- Option processors
-- Apply options to Options.
Options file