Update CHANGELOG and CONTRIBUTORS

Trying to keep both up to date - apologies if I'm missed anyone. I got
the list from the git logs, but feel free to edit yourself in or out as
you prefer.

CHANGELOG.md

@@ -22,6 +22,12 @@ Language extensions:
   evaluation, following the rules from "Scrapping Your Inefficient Engine"
   (ICFP 2010, Brady & Hammond)
 
+Library additions:
+
+* Additional file management operations in `base`
+* New modules in `contrib` for time (`System.Clock`); JSON (`Language.JSON.*`);
+  random numbers (`System.Random`)
+
 Other improvements:
 
 * Various performance improvements in the typechecker:

CONTRIBUTORS

@@ -1,5 +1,6 @@
 Thanks to the following for their help and contributions to Idris 2:
 
+Abdelhakim Qbaich
 Alex Gryzlov 
 Alex Silva 
 Andre Kuhlenschmidt 
@@ -9,16 +10,20 @@ Brian Wignall
 Christian Rasmussen 
 David Smith 
 Edwin Brady 
+Fabián Heredia Montiel
+George Pollard
 GhiOm 
 Guillaume Allais
 Ilya Rezvov 
 Jan de Muijnck-Hughes 
+Jeetu
 Kamil Shakirov 
 Bryn Keller
 Kevin Boulain 
 lodi 
 LuoChen 
 Marc Petit-Huguenin
+MarcelineVQ
 Marshall Bowers 
 Matthew Wilson 
 Matus Tejiscak 
@@ -26,10 +31,14 @@ Michael Morgan
 Milan Kral 
 Molly Miller 
 Mounir Boudia 
+Nicolas Biri
 Niklas Larsson 
 Ohad Kammar 
 Peter Hajdu 
+Rohit Grover
+Rui Barreiro
 Simon Chatterjee 
+then0rTh
 Theo Butler 
 Tim Süberkrüb 
 Timmy Jose 

libs/contrib/contrib.ipkg

@@ -1,21 +1,13 @@
 package contrib
 
-modules = Syntax.WithProof,
-          Syntax.PreorderReasoning,
+modules = Control.Delayed,
+
           Data.List.TailRec,
           Data.Bool.Extra,
           Data.SortedMap,
           Data.SortedSet,
           Data.String.Extra,
-          Text.Token,
-          Text.Quantity,
-          Control.Delayed,
-          Text.Parser,
-          Text.Lexer,
-          Text.Parser.Core,
-          Text.Lexer.Core,
-          System.Clock,
-          System.Random,
+
           Language.JSON,
           Language.JSON.Data,
           Language.JSON.Lexer,
@@ -24,4 +16,16 @@ modules = Syntax.WithProof,
           Language.JSON.String.Lexer,
           Language.JSON.String.Parser,
           Language.JSON.String.Tokens,
-          Language.JSON.Tokens
+          Language.JSON.Tokens,
+
+          Text.Token,
+          Text.Quantity,
+          Text.Parser,
+          Text.Lexer,
+          Text.Parser.Core,
+          Text.Lexer.Core,
+
+          System.Clock,
+          System.Random,
+          Syntax.WithProof,
+          Syntax.PreorderReasoning