Add --port argument to red-pill; default is random

Depending on your OS, the default port may be guaranteed not to clash
with an existing server (if one is available), or may simply have a good
chance.