Fix include for sockaddr_in and initialization of addr in idrnet_sockaddr_ipv4
Merge pull request #919 from hannesm/fix-rts-idris-net

Fix include for sockaddr_in and initialization of addr in idrnet_sockaddr_ipv4