Php support for sencha web server

  - add sencha-php extension pacakge
    - provides sencha web php start command