Rename sport to src_port
Merge pull request #38 from frenetic-lang/src_port

Rename sport to src_port