gnatcoll_db2ada allows specifying postgresql port
It is now possible to specify which port number the postgreSQL server runs on, when running gnatcoll_db2ada.