added two keywords
Merge remote branch 'origin/master' into ats2json
Updating: adding some matrix-copying functions
Updating: miscellaneous
Merge remote-tracking branch 'upstream/master'
very minorly improving OpenMP example
very  minorly improving OpenMP example
reverting ats2-mode
moving libats-bbarker to contrib repo
Merge pull request #84 from bbarker/deleteMyContrib

Delete my contrib (move to ats-postiats-contrib repo)
Updating: improving level-2 jsonization
Updating: fixing s3exp_var in pats_constraint3.dats
Updating: minorly tidying-up
Updating: very minorly tidying-up
Updating: very minorly improving
Updating: improving libats/ML/list0
Updating: improving ATSLIB/prelude/stream
Updating: improving ATSLIB/prelude/stream
Updating: improving ATSLIB/prelude/list
Updating: improving ATSLIB/prelude/list_vt