Rename simulator-doc to simulator-doc.txt