Update Network library

(Taken from @SimonJF's IdrisNet2 library at
https://github.com/SimonJF/IdrisNet2)