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.
Merge pull request #210 from rrthomas/master

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