Missing header in Socket.idr
Missing header in Socket.idr

unistd.h is needed for 'close' otherwise socket programs give warnings
when compiling

markuspf/Idris-dev,FranklinChen/Idris-dev,uuhan/Idris-dev,mpkh/Idris-dev,uuhan/Idris-dev,mpkh/Idris-dev,FranklinChen/Idris-dev,Heather/Idris-dev,kojiromike/Idris-dev,Heather/Idris-dev,Heather/Idris-dev,FranklinChen/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,Heather/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,Heather/Idris-dev,markuspf/Idris-dev,Heather/Idris-dev,FranklinChen/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,FranklinChen/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,FranklinChen/Idris-dev,mpkh/Idris-dev,uuhan/Idris-dev