Added NICTA to README - removed Real World Haskell link.
Added NICTA to README - removed Real World Haskell link.

haroldcarr/learn-haskell-coq-ml-etc,haroldcarr/learn-haskell-coq-ml-etc,haroldcarr/learn-haskell-coq-ml-etc