Rename git/mps-sim/LICENSE.txt to LICENSE.txt