Adding "port" option in DoctrineServiceProvider

In doctrine.rst and DoctrineServiceProvider.php