Symfony2: Add a global option to console commands and generate a PID file

Matthias Noback