Lint PHP on the fly, using php -l