sas-2013: add the forgotten merge-sort.c symlink
build-aux: update compatibility patches for old versions of GCC
docs/README-{fedora,ubuntu}: refer to the latest release
sl/api: fix minor dox issues
sl/symjoin: fix a known bug in rejoinObj()
sl/symabstract: eliminate an unnecessary call to joinData()
cl/storage: implement a new helper - fncByCfg()
sl/glconf: a new place for run-time configuration
sl/glconf: parse comma-separated list of options
sl/fixed_point: a new place for fixed-point plotter
sl/fixed_point: implement basic plotting
sl/fixed_point: plot also trace graph for each shape
cl/gcc: allow to use gcc-4.8.x as GCC_HOST
cl/gcc: allow to compile self against gcc-4.8.x

The plug-in headers seem to be no longer understood by a C compiler.
cl/pointsto_fics: do not rely on fnc UIDs ordering

They seem to be assigned in the inverted order with gcc-4.8.x.
predator-regre: sed 's/___sl_get_nondet_int/__VERIFIER_nondet_int/g'
predator-builtins: add the __VERIFIER_assert(cond) macro
sl/symbin: change ___sl_plot() for __VERIFIER_plot()
Merge remote-tracking branch 'predator/master' into folding-revisited
fa/compiler: change ___fa_plot() to __VERIFIER_plot()