Update docu: add info about PHP_IDE_CONFIG

```export PHP_IDE_CONFIG='serverName=vagrant``` this is needed for proper debugging!