Reorg of Dafny Dot sources...
... move all except current dev to a new 'old' directory.