Make PHP option short_open_tag configurable

This is useful for nasty legacy applications.