Added a server run script, and now the port can be passed as argument (defaults to 3123)