android: Extend GUI so the server port can be entered