Prepare MCStatTools v4r7p3 for tagging

Changes and improvements as listed in doc/release.notes are reproduced below:

• 2019-06-05 - Alex Grecu

  • remove cmt directory
  • disable search and download of production logs from web server
  • patch tar unpacking modules to ensure extracted member are just files
  • add mitigation to event type data web download errors

• 2019-06-04 - Alex Grecu

  • re-enabling --use-local-logs in LHCbDIRAC-based algorithm
  • clarified a bit the context of some command line options
  • added logging.shutdown() to end of executable scripts
  • added BASH script to help archive productions with files saved on disk; archive_local_prod_data.sh creates prod-.tgz and deletes files on successful archiving

• 2019-06-03 - Alex Grecu

  • XML files stored on LogSE may still be corrupted/truncanted. DownloadAndBuilsStat.py was patched to re-enable file size checking using a 3-4 sigma deviation from gaussian mean and 'delta' parameter for non-gaussian distributions; both compressed and uncompressed XML files are now considered when parsing and merging statistics.

• 2019-05-31 - Alex Grecu

  • patch GaussStat.py to use the actual DecFiles package version set up at pro- duction time when retrieving event type details. Some event types may be retired in latest version as yet again some older DecFiles versions may be deleted altogether (hopefully not before statistics are produced)