Remove strange trailing quote on Armaël’s name in CONTRIBUTORS

Thanks to Yong Kiam for noticing

Sort Johannes into right position in CONTRIBUTORS list

Extend CONTRIBUTORS list with names taken from commit messages

List A. Cox as contributor; put propositional_logic into build seq.

Update COPYRIGHT dates and CONTRIBUTORS list

Early date of 1985 justified by comment from Tom Melham at head of
src/unwind/unwindLib.sml. Extra contributors added while grepping for
1980s dates in source tree. Jeff Joyce from Tamarack example, Paul
Loewenstein from Conv.sml.

public release of decompiler tool developed at NICTA

An earlier version of this tool was described in the following paper:

Thomas Sewell, Magnus O. Myreen and Gerwin Klein.
Translation validation for a verified OS kernel.
In Programming Language Design and Implementation (PLDI), 2013.

fix spelling of my name in CONTRIBUTORS list

More sorting errors in CONTRIBUTORS

Fix sorting error in CONTRIBUTORS file

CONTRIBUTORS: Joe has a hyphenated surname

Add CONTRIBUTORS list; modify COPYRIGHT

I've added a CONTRIBUTORS list that I hope is fairly comprehensive.
I've derived it from the list of acknowledgements in the Manual, and
from an inspection of our git history.

I've also modified the COPYRIGHT to simply assert ownership by the
CONTRIBUTORS. As I've commented in the past, it may be simpler to try
to assert that it is all simply in the public domain.