Add ports 18000 and 18010 for edx server and edx studio, fixes issue #510