Summary of changes:
  * Unified the execution scripts
    * Implemented a more generic and robust system for running commands
    * All execution scripts support specifying programs with parameters
  * Added support for location noise
  * Added the debug noise
  * Improvements
    * Improved performance by caching locations of memory access
      instructions
    * Improved the debugging of memory access tracking
    * Added support for debugging in Tmux
    * Programs used to test ANaConDA and analysers can use libraries
    * Improved cycle enumeration in the GoodLock deadlock analyser
    * tools/build: terminate building when downloading of sources fails
  * Fixes
    * Fixed writing to stdout and stderr when shutting down analysers
    * Fixed various issues preventing the test.sh script from working
      correctly
    * tools/executions: fixed directory order when searching for GCC
      libraries
    * tools/build: fixed compilation errors when building GCC with
      glibc ...