doc: Document how to change the Cockpit TCP port

Indeed. Thank you.