Changes in PHPViewContext

-New method hasRole(), to ask if the principal has a  particular role,
rather than using isAllowed(), which is not as specific.
-htmlSelect() now makes the options array parameter optional.