Set port option to type=int

Related to server startup issues (wsgi server expecting int, receiving
string) discovered in #10.