Allow command-line option to change development port

I couldn't use `textual run --dev` because the server I was on had AV software listening on port 8081.

Luckily a quick `git grep` was able to fix it, but it would be nice to have that as a command-line option.