Merge branch 'master', remote branch 'origin'
Victory commit!

- Finished DNS encoding & decoding, tested with a request to simonjf.com
  to the school servers.
- Fixed nasty bug with host / network byte ordering
- Tweaked C makefile
- Tweaked encoding routine to correct flags
DNSRR refinement:

Require a proof that the length field corresponds to payload length
(otherwise it's meaningless!)
DNS Changes
Merge branch 'master' into pong
Networked pong! \o/