Minor changes.
Added a link in Simon Gay's page.
Changed the port to 8080 for submission.