Updated xml_convert.py to use native line endings and remove empty folders from output directory.
Changed to manually add the xml declaration to get the correct line ending. ElementTree always use unix style.
Added --no-array-conversion option to xml_convert.py to make it possible to convert to 5.0 syntax too.
remove old obsolete directories that have reappeared after our git migration
remove all gitignore files that are empty
Started update dots_kernel and dots_shm_repository
more shm repository
Shm repository updated
removed old folders
Merge remote-tracking branch 'origin/master' into rockefeller