Modified options.inc.php and settings.inc.php

The options.inc.php will be now auto generated after editing the
options through the administration control panel. The
settings.inc.php file contains now the "fixed" settings for the
framework.