Makefile: Fix DESTDIR handling
Improved simplifications of redundant loops:
- Execute simplifyWhile0 after simplifyKnownVariables (#394)
- Support declaration of variable in loop header in removeRedundantFor
#6189 assign with operator= a '\0' to a std::string is not an error
Merge branch 'master' into travis_gcc_testsuite