Added Dispatcher::CONFIG_SHORT_FILE_NAMES option.

Dispatcher::CONFIG_SHORT_FILE_NAMES option under
Dispatcher::CONFIG_GROUP tells whether views should be named
view.php ( the default ) or view.html.php ( if this option is
set to false ).