Loops refactoring Mohammed Biadse - Omar Agbaria - Saleh Naarane

This is the Dafny extention for visual studio, we added support fot refactoring loops, the original project WIKI can be found here : https://github.com/Microsoft/dafny/wiki/INSTALL