REST API port number can be designated in properties file.

Now, users can change REST API port number through torped.properties.
Modified Main.java, RESTApiServer.java to support variable port number.
And comments of StaticFlowEntryStorage.java are modified.