Document --php option in --help output