Set port_in_redirect off

This is necessary for the automatic /forum => /forum/ redirect.
Remove the old league server config
Run PHP on crdocs.clonkspot.org for search