NAT config for a Mac
Merge branch 'http' of github.com:frenetic-lang/frenetic into http