Updating: working on libats/athread
Updating: improving libats/athread
Updating: improving prelude/filebas
Updating: generally improving
Updating: minorly fixing
Updating: very minorly improving
Updating: adding doc/EXAMPLE/WORKSHOP
Updating: minorly improving doc/EXAMPLE/WORKSHOP/dotprod_mt
Updating: very minorly improving
Updating: very minorly improving
Updating: adding a WORKSHOP-example
Updating: very minorly tidying-up
Updating: improving libats/athread
Updating: minorly improving libats/athread
Update dotprod_mt.dats
Merge branch 'master' into translate_ja