message: Add contributors to 1.5 release
diff: JPL Contributors to the F' Software Framework:
  * Adams, Derek
  +* Anderson, Joshua
  * Bocchino, Robert
  * Campuzano, Brian
  * Canham, Timothy
  @@ -10,8 +11,10 @@ JPL Contributors to the F' Software Framework:
  * Daruwala, Rohan
  * Daugherty, Daniel
  * Day, Leonard
  +* Deerin, Jake
  * Dinkel, Jack
  * Dinkel, Kevin
  +* Duerschmid, Tobias
  * Gandhi, Gorang
  * Gangianpour, Mehran
  * Harriman, Blake
  @@ -24,13 +27,14 @@ JPL Contributors to the F' Software Framework:
  * Kubiak, Gerik
  * Levison, Jeffrey
  * Manglapus, Lloyd
  -* Mueller, David
  * Merewether, Eugene
  +* Mueller, David
  * Nicolich, Eric
  * Nowicki, Robert
  * Oran, Kevin
  * Ortega, Kevin
  * Pandian, Prashanth
  +* Paulson, Hunter
  * Ramanan, Saikiran
  * Reder, Leonard
  * Rizvi, Aadil
  @@ -39,6 +43,7 @@ JPL Contributors to the F' Software Framework:
  * Starch, Michael
  * Perez, Joseph
  * Shenker, Boris
  +* Smith, Celeste
  * Tuszynski, Marek
  * Uchenik, Igor
  * Watney, Garth
  @@ -47,6 +52,10 @@ JPL Contributors to the F' Software Framework:
  * Wong, Vincent
  Non-JPL Contributors to the F' Software Framework:
  +
  +* AaronMcDaniel
  * acxz
  * jasonduley
  * keck-in-space
  +* sommercharles
  +* SterlingPeet
  