Port devserver.sh to Python, and add optional port argument

Review Request #1570 — Created May 2, 2010 and submitted — Latest diff uploaded


Review Board


Ported the devserver shell script to Python.  Now takes optional -p parameter to set server port.
Tested manually.  I ran from other directories, and moved various folders in order to trigger the error messages, and they all seem to do the job.