Added options.php to deal with simplification of commandline options.