Merge pull request #399 in CASA/casa6 from CAS-13335 to master
* commit 'f1d5ffda55ff4afd7d1fa7db173b69905f50ed80': CAS-13335 slightly more readable example for running casa with valgrind CAS-13335 changed relwithdebinfo flag to not strip symbols by default CAS-13335 adding documentation on how to use gdb and valgrind with casatools wheel CAS-13335 adding option to build for release without stripping debug symbols out of binary files (primary intended use for dev builds)