Change default port: Apple Airplay is using 5000 by default

[slobentanzer]

Minor issue, but if a mac user wants to run the local version and has Airplay active, port 5000 will already be occupied. We could change it to some other, unused port.