Gracefully pick a port number for the dev server