added option to run local server on other port than 8000
added option to run local server on other port than 8000

brython-dev/brython-in-the-classroom,brython-dev/brython-in-the-classroom,brython-dev/brython-in-the-classroom