como ler a entrada da linha de comando pelo PHP