Merge branch 'master', remote-tracking branch 'upstream/master'
backing up, started test_Amoeba.dats
Merge remote-tracking branch 'origin/develop'
minorly updating
Updating: adding some libats/ML/string-functions.
Updating: adding some libats/ML/string-functions.
Updating: fixing a bug in string_explode
Updating: very minorly improving.
Updating: adding code for testing string_explode and string_implode.
Updating: src: HIPany now carries a d2var arg
Updating: fixing a serious bug in pattern-matching compilation.
Updating: dot-overloading start functioning.
Updating: some renaming.
Updating: packaging ATS2-contrib
Updating: improving libats/ML/funmap
Updating: a bit reorganizing.
Updating: keeping cairo-tutorial-examples up-to-date.
Updating: minorly tidying up
Updating: supporting static array allocation on stack
Updating: improving prelude/matrix.