[Ready to be merged] Deploy Symfony application on Platform.sh.

I would not show the ``-u`` option here. In general, it makes probably more sense to have the upstream branch of ``master`` being in your work repo (on Github for instance) rather than being the platform.sh one.
This way, if you just type ``git push``, it goes to Github, not to the prod deployment, making mistakes less likely.