Small REST interface to assign fixed tcp ports to Docker applications