sl/symproc: print full trace if error recovery is disabled
sl/glconf: a new run-time option "memleak_is_error"
sl/config.h: disable SE_DUMP_TRACE_GRAPHS by default
sl/check-property.sh --trace: specify trace file
sl/check-property.sh --task: now a voluntary option
README-SVCOMP-2014: instructions for SV-COMP'14
sl/symproc: handle conversion to bool explicitly

Fixes a failure of test-0201 with gcc-4.6.
sl/intrange: use the long long type if available

... and greater than the long type.  Fixes a failure of test-0243
on a 32bit _build_ architecture.