fixes `wssd -p` argument and more

fixes some bugs:
- could not change port any other except of 5000 caused by --port argument did not parsed as int.
- term.js did not loaded properly caused by github serves raw files only in text/html